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

Windows Windows #2109: Scheduled
December 29, 2024 01:55 In progress main
main
December 29, 2024 01:55 In progress
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 In progress main
main
December 29, 2024 01:19 In progress
Macos Macos #2043: Scheduled
December 29, 2024 00:57 In progress main
main
December 29, 2024 00:57 In progress
Windows Windows #2108: Scheduled
December 28, 2024 01:44 6h 0m 31s main
main
December 28, 2024 01:44 6h 0m 31s
Ubuntu_dev Ubuntu_dev #829: Scheduled
December 28, 2024 01:37 5m 2s main
main
December 28, 2024 01:37 5m 2s
Ubuntu Ubuntu #2063: Scheduled
December 28, 2024 01:11 2h 54m 16s main
main
December 28, 2024 01:11 2h 54m 16s
Macos Macos #2042: Scheduled
December 28, 2024 00:51 1h 24m 5s main
main
December 28, 2024 00:51 1h 24m 5s
Windows Windows #2107: Scheduled
December 27, 2024 01:47 6h 0m 27s main
main
December 27, 2024 01:47 6h 0m 27s
Ubuntu_dev Ubuntu_dev #828: Scheduled
December 27, 2024 01:39 6m 1s main
main
December 27, 2024 01:39 6m 1s
Ubuntu Ubuntu #2062: Scheduled
December 27, 2024 01:12 2h 46m 39s main
main
December 27, 2024 01:12 2h 46m 39s
Macos Macos #2041: Scheduled
December 27, 2024 00:52 1h 26m 4s main
main
December 27, 2024 00:52 1h 26m 4s
Windows Windows #2106: Scheduled
December 26, 2024 01:46 6h 0m 34s main
main
December 26, 2024 01:46 6h 0m 34s
Ubuntu_dev Ubuntu_dev #827: Scheduled
December 26, 2024 01:38 5m 3s main
main
December 26, 2024 01:38 5m 3s
Ubuntu Ubuntu #2061: Scheduled
December 26, 2024 01:12 2h 48m 20s main
main
December 26, 2024 01:12 2h 48m 20s
Macos Macos #2040: Scheduled
December 26, 2024 00:51 1h 21m 58s main
main
December 26, 2024 00:51 1h 21m 58s
Windows Windows #2105: Scheduled
December 25, 2024 01:45 6h 0m 29s main
main
December 25, 2024 01:45 6h 0m 29s
Ubuntu_dev Ubuntu_dev #826: Scheduled
December 25, 2024 01:38 6m 11s main
main
December 25, 2024 01:38 6m 11s
Ubuntu Ubuntu #2060: Scheduled
December 25, 2024 01:11 2h 47m 49s main
main
December 25, 2024 01:11 2h 47m 49s
Macos Macos #2039: Scheduled
December 25, 2024 00:51 1h 24m 28s main
main
December 25, 2024 00:51 1h 24m 28s
Windows Windows #2104: Scheduled
December 24, 2024 01:47 2h 37m 2s main
main
December 24, 2024 01:47 2h 37m 2s
Ubuntu_dev Ubuntu_dev #825: Scheduled
December 24, 2024 01:39 5m 1s main
main
December 24, 2024 01:39 5m 1s
Ubuntu Ubuntu #2059: Scheduled
December 24, 2024 01:12 2h 48m 42s main
main
December 24, 2024 01:12 2h 48m 42s
Macos Macos #2038: Scheduled
December 24, 2024 00:52 1h 21m 49s main
main
December 24, 2024 00:52 1h 21m 49s
Windows Windows #2103: Scheduled
December 23, 2024 01:49 2h 45m 52s main
main
December 23, 2024 01:49 2h 45m 52s