Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos Macos #2055: Scheduled
January 10, 2025 00:54 1h 19m 21s main
main
January 10, 2025 00:54 1h 19m 21s
Windows Windows #2120: Scheduled
January 9, 2025 02:19 6h 0m 27s main
main
January 9, 2025 02:19 6h 0m 27s
Ubuntu_dev Ubuntu_dev #841: Scheduled
January 9, 2025 02:06 5m 21s main
main
January 9, 2025 02:06 5m 21s
Ubuntu Ubuntu #2075: Scheduled
January 9, 2025 01:12 2h 51m 13s main
main
January 9, 2025 01:12 2h 51m 13s
Macos Macos #2054: Scheduled
January 9, 2025 00:52 1h 20m 56s main
main
January 9, 2025 00:52 1h 20m 56s
Windows Windows #2119: Scheduled
January 8, 2025 01:47 6h 0m 31s main
main
January 8, 2025 01:47 6h 0m 31s
Ubuntu_dev Ubuntu_dev #840: Scheduled
January 8, 2025 01:40 4m 52s main
main
January 8, 2025 01:40 4m 52s
Ubuntu Ubuntu #2074: Scheduled
January 8, 2025 01:13 2h 51m 34s main
main
January 8, 2025 01:13 2h 51m 34s
Macos Macos #2053: Scheduled
January 8, 2025 00:52 1h 24m 52s main
main
January 8, 2025 00:52 1h 24m 52s
Windows Windows #2118: Scheduled
January 7, 2025 01:48 6h 0m 29s main
main
January 7, 2025 01:48 6h 0m 29s
Ubuntu_dev Ubuntu_dev #839: Scheduled
January 7, 2025 01:40 4m 56s main
main
January 7, 2025 01:40 4m 56s
Ubuntu Ubuntu #2073: Scheduled
January 7, 2025 01:13 2h 49m 22s main
main
January 7, 2025 01:13 2h 49m 22s
Macos Macos #2052: Scheduled
January 7, 2025 00:52 1h 24m 54s main
main
January 7, 2025 00:52 1h 24m 54s
Windows Windows #2117: Scheduled
January 6, 2025 01:52 6h 0m 28s main
main
January 6, 2025 01:52 6h 0m 28s
Ubuntu_dev Ubuntu_dev #838: Scheduled
January 6, 2025 01:43 4m 46s main
main
January 6, 2025 01:43 4m 46s
Ubuntu Ubuntu #2072: Scheduled
January 6, 2025 01:16 2h 46m 38s main
main
January 6, 2025 01:16 2h 46m 38s
Macos Macos #2051: Scheduled
January 6, 2025 00:54 1h 20m 32s main
main
January 6, 2025 00:54 1h 20m 32s
Windows Windows #2116: Scheduled
January 5, 2025 01:54 2h 51m 46s main
main
January 5, 2025 01:54 2h 51m 46s
Ubuntu_dev Ubuntu_dev #837: Scheduled
January 5, 2025 01:45 6m 3s main
main
January 5, 2025 01:45 6m 3s
Ubuntu Ubuntu #2071: Scheduled
January 5, 2025 01:18 2h 48m 24s main
main
January 5, 2025 01:18 2h 48m 24s
Macos Macos #2050: Scheduled
January 5, 2025 00:56 1h 23m 56s main
main
January 5, 2025 00:56 1h 23m 56s
Windows Windows #2115: Scheduled
January 4, 2025 01:45 6h 0m 34s main
main
January 4, 2025 01:45 6h 0m 34s
Ubuntu_dev Ubuntu_dev #836: Scheduled
January 4, 2025 01:37 4m 49s main
main
January 4, 2025 01:37 4m 49s
Ubuntu Ubuntu #2070: Scheduled
January 4, 2025 01:11 2h 48m 9s main
main
January 4, 2025 01:11 2h 48m 9s
Macos Macos #2049: Scheduled
January 4, 2025 00:51 1h 28m 13s main
main
January 4, 2025 00:51 1h 28m 13s