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

Ubuntu Ubuntu #1932: Scheduled
October 4, 2024 01:12 2h 46m 27s main
main
October 4, 2024 01:12 2h 46m 27s
Macos Macos #1911: Scheduled
October 4, 2024 00:51 1h 30m 32s main
main
October 4, 2024 00:51 1h 30m 32s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Ubuntu #1931: Pull request #435 opened by MSoegtropIMC
October 3, 2024 13:12 2h 42m 23s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 13:12 2h 42m 23s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Macos #1910: Pull request #435 opened by MSoegtropIMC
October 3, 2024 13:12 2h 25m 56s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 13:12 2h 25m 56s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Windows #1976: Pull request #435 opened by MSoegtropIMC
October 3, 2024 13:12 2h 47m 20s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 13:12 2h 47m 20s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Windows #1975: Pull request #434 opened by MSoegtropIMC
October 3, 2024 12:44 2h 53m 50s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 12:44 2h 53m 50s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Macos #1909: Pull request #434 opened by MSoegtropIMC
October 3, 2024 12:44 1h 51m 7s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 12:44 1h 51m 7s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Ubuntu #1930: Pull request #434 opened by MSoegtropIMC
October 3, 2024 12:44 2h 42m 52s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 12:44 2h 42m 52s
Windows Windows #1974: Scheduled
October 3, 2024 01:46 2h 50m 31s main
main
October 3, 2024 01:46 2h 50m 31s
Ubuntu_dev Ubuntu_dev #743: Scheduled
October 3, 2024 01:38 1h 4m 49s main
main
October 3, 2024 01:38 1h 4m 49s
Ubuntu Ubuntu #1929: Scheduled
October 3, 2024 01:12 2h 44m 6s main
main
October 3, 2024 01:12 2h 44m 6s
Macos Macos #1908: Scheduled
October 3, 2024 00:51 1h 31m 11s main
main
October 3, 2024 00:51 1h 31m 11s
Windows Windows #1973: Scheduled
October 2, 2024 01:46 2h 44m 3s main
main
October 2, 2024 01:46 2h 44m 3s
Ubuntu_dev Ubuntu_dev #742: Scheduled
October 2, 2024 01:38 1h 1m 25s main
main
October 2, 2024 01:38 1h 1m 25s
Ubuntu Ubuntu #1928: Scheduled
October 2, 2024 01:12 2h 43m 35s main
main
October 2, 2024 01:12 2h 43m 35s
Macos Macos #1907: Scheduled
October 2, 2024 00:51 1h 31m 45s main
main
October 2, 2024 00:51 1h 31m 45s
Windows Windows #1972: Scheduled
October 1, 2024 01:55 2h 47m 1s main
main
October 1, 2024 01:55 2h 47m 1s
Ubuntu_dev Ubuntu_dev #741: Scheduled
October 1, 2024 01:47 1h 4m 49s main
main
October 1, 2024 01:47 1h 4m 49s
Ubuntu Ubuntu #1927: Scheduled
October 1, 2024 01:18 2h 43m 19s main
main
October 1, 2024 01:18 2h 43m 19s
Macos Macos #1906: Scheduled
October 1, 2024 00:56 1h 32m 50s main
main
October 1, 2024 00:56 1h 32m 50s
Merge pull request #433 from Yewzir/patch-1 Windows #1971: Commit 4205af8 pushed by MSoegtropIMC
September 30, 2024 07:46 2h 52m 22s main
main
September 30, 2024 07:46 2h 52m 22s
Merge pull request #433 from Yewzir/patch-1 Macos #1905: Commit 4205af8 pushed by MSoegtropIMC
September 30, 2024 07:46 1h 30m 48s main
main
September 30, 2024 07:46 1h 30m 48s
Merge pull request #433 from Yewzir/patch-1 Ubuntu #1926: Commit 4205af8 pushed by MSoegtropIMC
September 30, 2024 07:46 2h 44m 46s main
main
September 30, 2024 07:46 2h 44m 46s
Windows Windows #1970: Scheduled
September 30, 2024 01:50 2h 38m 5s main
main
September 30, 2024 01:50 2h 38m 5s
Ubuntu_dev Ubuntu_dev #740: Scheduled
September 30, 2024 01:41 1h 5m 28s main
main
September 30, 2024 01:41 1h 5m 28s