Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #816: Scheduled
December 15, 2024 01:54 52m 33s main
main
December 15, 2024 01:54 52m 33s
Ubuntu Ubuntu #2044: Scheduled
December 15, 2024 01:24 2h 50m 27s main
main
December 15, 2024 01:24 2h 50m 27s
Macos Macos #2023: Scheduled
December 15, 2024 01:01 1h 39m 39s main
main
December 15, 2024 01:01 1h 39m 39s
Windows Windows #2088: Scheduled
December 14, 2024 01:53 2h 43m 37s main
main
December 14, 2024 01:53 2h 43m 37s
Ubuntu_dev Ubuntu_dev #815: Scheduled
December 14, 2024 01:44 52m 6s main
main
December 14, 2024 01:44 52m 6s
Ubuntu Ubuntu #2043: Scheduled
December 14, 2024 01:16 2h 49m 29s main
main
December 14, 2024 01:16 2h 49m 29s
Macos Macos #2022: Scheduled
December 14, 2024 00:55 1h 41m 23s main
main
December 14, 2024 00:55 1h 41m 23s
Windows Windows #2087: Scheduled
December 13, 2024 01:58 3h 30m 18s main
main
December 13, 2024 01:58 3h 30m 18s
Ubuntu_dev Ubuntu_dev #814: Scheduled
December 13, 2024 01:49 26m 46s main
main
December 13, 2024 01:49 26m 46s
Ubuntu Ubuntu #2042: Scheduled
December 13, 2024 01:20 2h 51m 14s main
main
December 13, 2024 01:20 2h 51m 14s
Macos Macos #2021: Scheduled
December 13, 2024 00:57 1h 24m 2s main
main
December 13, 2024 00:57 1h 24m 2s
Windows Windows #2086: Scheduled
December 12, 2024 01:56 2h 44m 13s main
main
December 12, 2024 01:56 2h 44m 13s
Ubuntu_dev Ubuntu_dev #813: Scheduled
December 12, 2024 01:47 27m 0s main
main
December 12, 2024 01:47 27m 0s
Ubuntu Ubuntu #2041: Scheduled
December 12, 2024 01:18 2h 45m 59s main
main
December 12, 2024 01:18 2h 45m 59s
Macos Macos #2020: Scheduled
December 12, 2024 00:56 1h 34m 25s main
main
December 12, 2024 00:56 1h 34m 25s
Windows Windows #2085: Scheduled
December 11, 2024 01:56 2h 42m 34s main
main
December 11, 2024 01:56 2h 42m 34s
Ubuntu_dev Ubuntu_dev #812: Scheduled
December 11, 2024 01:48 26m 0s main
main
December 11, 2024 01:48 26m 0s
Ubuntu Ubuntu #2040: Scheduled
December 11, 2024 01:19 2h 48m 10s main
main
December 11, 2024 01:19 2h 48m 10s
Macos Macos #2019: Scheduled
December 11, 2024 00:57 1h 28m 28s main
main
December 11, 2024 00:57 1h 28m 28s
Windows Windows #2084: Scheduled
December 10, 2024 01:58 2h 38m 28s main
main
December 10, 2024 01:58 2h 38m 28s
Ubuntu_dev Ubuntu_dev #811: Scheduled
December 10, 2024 01:49 26m 31s main
main
December 10, 2024 01:49 26m 31s
Ubuntu Ubuntu #2039: Scheduled
December 10, 2024 01:20 2h 47m 38s main
main
December 10, 2024 01:20 2h 47m 38s
Macos Macos #2018: Scheduled
December 10, 2024 00:57 1h 21m 50s main
main
December 10, 2024 00:57 1h 21m 50s
Merge pull request #452 from MSoegtropIMC/2025.01-prep-4 Windows #2083: Commit efaead8 pushed by MSoegtropIMC
December 9, 2024 12:23 2h 36m 41s main
main
December 9, 2024 12:23 2h 36m 41s
Merge pull request #452 from MSoegtropIMC/2025.01-prep-4 Macos #2017: Commit efaead8 pushed by MSoegtropIMC
December 9, 2024 12:23 1h 25m 49s main
main
December 9, 2024 12:23 1h 25m 49s