Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,597 workflow runs
2,597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2004: Scheduled
October 21, 2024 01:50 2h 50m 15s main
main
October 21, 2024 01:50 2h 50m 15s
Ubuntu_dev Ubuntu_dev #761: Scheduled
October 21, 2024 01:41 1h 6m 5s main
main
October 21, 2024 01:41 1h 6m 5s
Ubuntu Ubuntu #1959: Scheduled
October 21, 2024 01:14 2h 50m 54s main
main
October 21, 2024 01:14 2h 50m 54s
Macos Macos #1938: Scheduled
October 21, 2024 00:53 1h 26m 39s main
main
October 21, 2024 00:53 1h 26m 39s
Windows Windows #2003: Scheduled
October 20, 2024 01:54 2h 36m 30s main
main
October 20, 2024 01:54 2h 36m 30s
Ubuntu_dev Ubuntu_dev #760: Scheduled
October 20, 2024 01:46 1h 4m 59s main
main
October 20, 2024 01:46 1h 4m 59s
Ubuntu Ubuntu #1958: Scheduled
October 20, 2024 01:18 2h 47m 53s main
main
October 20, 2024 01:18 2h 47m 53s
Macos Macos #1937: Scheduled
October 20, 2024 00:56 1h 28m 45s main
main
October 20, 2024 00:56 1h 28m 45s
Windows Windows #2002: Scheduled
October 19, 2024 01:45 2h 46m 8s main
main
October 19, 2024 01:45 2h 46m 8s
Ubuntu_dev Ubuntu_dev #759: Scheduled
October 19, 2024 01:37 1h 5m 4s main
main
October 19, 2024 01:37 1h 5m 4s
Ubuntu Ubuntu #1957: Scheduled
October 19, 2024 01:11 2h 50m 22s main
main
October 19, 2024 01:11 2h 50m 22s
Macos Macos #1936: Scheduled
October 19, 2024 00:51 1h 19m 27s main
main
October 19, 2024 00:51 1h 19m 27s
Windows Windows #2001: Scheduled
October 18, 2024 01:47 2h 46m 31s main
main
October 18, 2024 01:47 2h 46m 31s
Ubuntu_dev Ubuntu_dev #758: Scheduled
October 18, 2024 01:39 1h 5m 49s main
main
October 18, 2024 01:39 1h 5m 49s
Ubuntu Ubuntu #1956: Scheduled
October 18, 2024 01:12 2h 51m 6s main
main
October 18, 2024 01:12 2h 51m 6s
Macos Macos #1935: Scheduled
October 18, 2024 00:51 1h 27m 4s main
main
October 18, 2024 00:51 1h 27m 4s
Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3 Macos #1934: Commit 483a341 pushed by MSoegtropIMC
October 17, 2024 11:59 1h 29m 20s main
main
October 17, 2024 11:59 1h 29m 20s
Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3 Ubuntu #1955: Commit 483a341 pushed by MSoegtropIMC
October 17, 2024 11:59 2h 46m 0s main
main
October 17, 2024 11:59 2h 46m 0s
Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3 Windows #2000: Commit 483a341 pushed by MSoegtropIMC
October 17, 2024 11:59 2h 55m 30s main
main
October 17, 2024 11:59 2h 55m 30s
Fix #439 MacOS: coqide is complied with wrong deployment target Ubuntu #1954: Pull request #440 opened by MSoegtropIMC
October 17, 2024 11:58 42s MSoegtropIMC:8.19-release-prep-3
MSoegtropIMC:8.19-release-prep-3
October 17, 2024 11:58 42s
Fix #439 MacOS: coqide is complied with wrong deployment target Macos #1933: Pull request #440 opened by MSoegtropIMC
October 17, 2024 11:58 36s MSoegtropIMC:8.19-release-prep-3
MSoegtropIMC:8.19-release-prep-3
October 17, 2024 11:58 36s
Fix #439 MacOS: coqide is complied with wrong deployment target Windows #1999: Pull request #440 opened by MSoegtropIMC
October 17, 2024 11:58 24s MSoegtropIMC:8.19-release-prep-3
MSoegtropIMC:8.19-release-prep-3
October 17, 2024 11:58 24s
Windows Windows #1998: Scheduled
October 17, 2024 01:47 2h 36m 28s main
main
October 17, 2024 01:47 2h 36m 28s
Ubuntu_dev Ubuntu_dev #757: Scheduled
October 17, 2024 01:39 1h 6m 20s main
main
October 17, 2024 01:39 1h 6m 20s
Ubuntu Ubuntu #1953: Scheduled
October 17, 2024 01:12 2h 49m 58s main
main
October 17, 2024 01:12 2h 49m 58s