Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow run results
90 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #1412: Scheduled
October 9, 2023 01:16 4h 35m 46s main
main
October 9, 2023 01:16 4h 35m 46s
Ubuntu_dev Ubuntu_dev #383: Scheduled
October 9, 2023 01:10 2h 2m 34s main
main
October 9, 2023 01:10 2h 2m 34s
Ubuntu Ubuntu #1400: Scheduled
October 9, 2023 00:54 4h 58m 38s main
main
October 9, 2023 00:54 4h 58m 38s
Macos Macos #1378: Scheduled
October 9, 2023 00:37 2h 29m 38s main
main
October 9, 2023 00:37 2h 29m 38s
Windows Windows #1411: Scheduled
October 8, 2023 01:21 4h 40m 20s main
main
October 8, 2023 01:21 4h 40m 20s
Ubuntu_dev Ubuntu_dev #382: Scheduled
October 8, 2023 01:14 1h 53m 43s main
main
October 8, 2023 01:14 1h 53m 43s
Ubuntu Ubuntu #1399: Scheduled
October 8, 2023 00:58 6h 7m 52s main
main
October 8, 2023 00:58 6h 7m 52s
Macos Macos #1377: Scheduled
October 8, 2023 00:39 3h 0m 35s main
main
October 8, 2023 00:39 3h 0m 35s
Windows Windows #1410: Scheduled
October 7, 2023 01:15 4h 9m 46s main
main
October 7, 2023 01:15 4h 9m 46s
Ubuntu_dev Ubuntu_dev #381: Scheduled
October 7, 2023 01:09 2h 2m 6s main
main
October 7, 2023 01:09 2h 2m 6s
Ubuntu Ubuntu #1398: Scheduled
October 7, 2023 00:53 6h 2m 38s main
main
October 7, 2023 00:53 6h 2m 38s
Macos Macos #1376: Scheduled
October 7, 2023 00:36 2h 47m 54s main
main
October 7, 2023 00:36 2h 47m 54s
Windows Windows #1409: Scheduled
October 6, 2023 01:16 5h 9m 45s main
main
October 6, 2023 01:16 5h 9m 45s
Ubuntu_dev Ubuntu_dev #380: Scheduled
October 6, 2023 01:10 1h 58m 1s main
main
October 6, 2023 01:10 1h 58m 1s
Ubuntu Ubuntu #1397: Scheduled
October 6, 2023 00:54 4h 56m 37s main
main
October 6, 2023 00:54 4h 56m 37s
Macos Macos #1375: Scheduled
October 6, 2023 00:37 2h 39m 54s main
main
October 6, 2023 00:37 2h 39m 54s
Pick 8.18+beta1: please pick issue creation intermediate state Windows #1408: Commit 185c5ae pushed by MSoegtropIMC
October 5, 2023 08:58 9h 32m 39s main
main
October 5, 2023 08:58 9h 32m 39s
Pick 8.18+beta1: please pick issue creation intermediate state Ubuntu #1396: Commit 185c5ae pushed by MSoegtropIMC
October 5, 2023 08:58 9h 53m 34s main
main
October 5, 2023 08:58 9h 53m 34s
Pick 8.18+beta1: please pick issue creation intermediate state Macos #1374: Commit 185c5ae pushed by MSoegtropIMC
October 5, 2023 08:58 6h 53m 1s main
main
October 5, 2023 08:58 6h 53m 1s
Merge pull request #371 from coq/prepare-2023.09-1 Windows #1407: Commit bd57d2e pushed by MSoegtropIMC
October 5, 2023 08:33 7h 9m 30s main
main
October 5, 2023 08:33 7h 9m 30s
Merge pull request #371 from coq/prepare-2023.09-1 Ubuntu #1395: Commit bd57d2e pushed by MSoegtropIMC
October 5, 2023 08:33 7h 23m 53s main
main
October 5, 2023 08:33 7h 23m 53s
Merge pull request #371 from coq/prepare-2023.09-1 Macos #1373: Commit bd57d2e pushed by MSoegtropIMC
October 5, 2023 08:33 5h 50m 44s main
main
October 5, 2023 08:33 5h 50m 44s
Prepare 2023.09 1 Macos #1372: Pull request #371 opened by MSoegtropIMC
October 5, 2023 08:33 4h 28m 42s prepare-2023.09-1
prepare-2023.09-1
October 5, 2023 08:33 4h 28m 42s
Prepare 2023.09 1 Ubuntu #1394: Pull request #371 opened by MSoegtropIMC
October 5, 2023 08:33 7h 14m 23s prepare-2023.09-1
prepare-2023.09-1
October 5, 2023 08:33 7h 14m 23s
Prepare 2023.09 1 Windows #1406: Pull request #371 opened by MSoegtropIMC
October 5, 2023 08:33 5h 43m 7s prepare-2023.09-1
prepare-2023.09-1
October 5, 2023 08:33 5h 43m 7s