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

Windows Windows #2114: Scheduled
January 3, 2025 01:47 2h 45m 52s main
main
January 3, 2025 01:47 2h 45m 52s
Ubuntu_dev Ubuntu_dev #835: Scheduled
January 3, 2025 01:39 5m 5s main
main
January 3, 2025 01:39 5m 5s
Ubuntu Ubuntu #2069: Scheduled
January 3, 2025 01:12 2h 47m 51s main
main
January 3, 2025 01:12 2h 47m 51s
Macos Macos #2048: Scheduled
January 3, 2025 00:52 1h 21m 48s main
main
January 3, 2025 00:52 1h 21m 48s
Windows Windows #2113: Scheduled
January 2, 2025 01:46 2h 34m 51s main
main
January 2, 2025 01:46 2h 34m 51s
Ubuntu_dev Ubuntu_dev #834: Scheduled
January 2, 2025 01:38 4m 59s main
main
January 2, 2025 01:38 4m 59s
Ubuntu Ubuntu #2068: Scheduled
January 2, 2025 01:11 2h 48m 8s main
main
January 2, 2025 01:11 2h 48m 8s
Macos Macos #2047: Scheduled
January 2, 2025 00:51 1h 28m 12s main
main
January 2, 2025 00:51 1h 28m 12s
Windows Windows #2112: Scheduled
January 1, 2025 01:54 6h 0m 29s main
main
January 1, 2025 01:54 6h 0m 29s
Ubuntu_dev Ubuntu_dev #833: Scheduled
January 1, 2025 01:46 4m 55s main
main
January 1, 2025 01:46 4m 55s
Ubuntu Ubuntu #2067: Scheduled
January 1, 2025 01:18 2h 48m 38s main
main
January 1, 2025 01:18 2h 48m 38s
Macos Macos #2046: Scheduled
January 1, 2025 00:57 1h 29m 15s main
main
January 1, 2025 00:57 1h 29m 15s
Windows Windows #2111: Scheduled
December 31, 2024 01:46 2h 40m 8s main
main
December 31, 2024 01:46 2h 40m 8s
Ubuntu_dev Ubuntu_dev #832: Scheduled
December 31, 2024 01:38 5m 5s main
main
December 31, 2024 01:38 5m 5s
Ubuntu Ubuntu #2066: Scheduled
December 31, 2024 01:12 2h 52m 2s main
main
December 31, 2024 01:12 2h 52m 2s
Macos Macos #2045: Scheduled
December 31, 2024 00:51 1h 23m 32s main
main
December 31, 2024 00:51 1h 23m 32s
Windows Windows #2110: Scheduled
December 30, 2024 01:50 6h 0m 30s main
main
December 30, 2024 01:50 6h 0m 30s
Ubuntu_dev Ubuntu_dev #831: Scheduled
December 30, 2024 01:42 5m 11s main
main
December 30, 2024 01:42 5m 11s
Ubuntu Ubuntu #2065: Scheduled
December 30, 2024 01:14 2h 47m 22s main
main
December 30, 2024 01:14 2h 47m 22s
Macos Macos #2044: Scheduled
December 30, 2024 00:54 1h 41m 38s main
main
December 30, 2024 00:54 1h 41m 38s
Windows Windows #2109: Scheduled
December 29, 2024 01:55 6h 0m 29s main
main
December 29, 2024 01:55 6h 0m 29s
Ubuntu_dev Ubuntu_dev #830: Scheduled
December 29, 2024 01:46 6m 18s main
main
December 29, 2024 01:46 6m 18s
Ubuntu Ubuntu #2064: Scheduled
December 29, 2024 01:19 2h 46m 40s main
main
December 29, 2024 01:19 2h 46m 40s
Macos Macos #2043: Scheduled
December 29, 2024 00:57 1h 26m 57s main
main
December 29, 2024 00:57 1h 26m 57s
Windows Windows #2108: Scheduled
December 28, 2024 01:44 6h 0m 31s main
main
December 28, 2024 01:44 6h 0m 31s