Skip to content

Actions: coq-tactician/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
753 workflow runs
753 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #238: Scheduled
September 23, 2024 01:40 2h 30m 17s main
main
September 23, 2024 01:40 2h 30m 17s
Ubuntu_dev Ubuntu_dev #128: Scheduled
September 23, 2024 01:26 1h 4m 59s main
main
September 23, 2024 01:26 1h 4m 59s
Windows Windows #238: Scheduled
September 23, 2024 01:11 2h 33m 10s main
main
September 23, 2024 01:11 2h 33m 10s
Macos Macos #237: Scheduled
September 22, 2024 01:49 1h 12m 3s main
main
September 22, 2024 01:49 1h 12m 3s
Ubuntu Ubuntu #237: Scheduled
September 22, 2024 01:45 2h 29m 30s main
main
September 22, 2024 01:45 2h 29m 30s
Ubuntu_dev Ubuntu_dev #127: Scheduled
September 22, 2024 01:39 1h 5m 25s main
main
September 22, 2024 01:39 1h 5m 25s
Windows Windows #237: Scheduled
September 22, 2024 01:16 2h 36m 25s main
main
September 22, 2024 01:16 2h 36m 25s
Macos Macos #236: Scheduled
September 21, 2024 01:39 1h 10m 23s main
main
September 21, 2024 01:39 1h 10m 23s
Ubuntu Ubuntu #236: Scheduled
September 21, 2024 01:35 2h 33m 25s main
main
September 21, 2024 01:35 2h 33m 25s
Ubuntu_dev Ubuntu_dev #126: Scheduled
September 21, 2024 01:23 1h 5m 22s main
main
September 21, 2024 01:23 1h 5m 22s
Windows Windows #236: Scheduled
September 21, 2024 01:08 2h 43m 40s main
main
September 21, 2024 01:08 2h 43m 40s
Macos Macos #235: Scheduled
September 20, 2024 01:41 1h 21m 3s main
main
September 20, 2024 01:41 1h 21m 3s
Ubuntu Ubuntu #235: Scheduled
September 20, 2024 01:37 2h 30m 13s main
main
September 20, 2024 01:37 2h 30m 13s
Ubuntu_dev Ubuntu_dev #125: Scheduled
September 20, 2024 01:25 1h 5m 6s main
main
September 20, 2024 01:25 1h 5m 6s
Windows Windows #235: Scheduled
September 20, 2024 01:09 2h 28m 21s main
main
September 20, 2024 01:09 2h 28m 21s
Macos Macos #234: Scheduled
September 19, 2024 01:41 1h 14m 19s main
main
September 19, 2024 01:41 1h 14m 19s
Ubuntu Ubuntu #234: Scheduled
September 19, 2024 01:37 2h 48m 59s main
main
September 19, 2024 01:37 2h 48m 59s
Ubuntu_dev Ubuntu_dev #124: Scheduled
September 19, 2024 01:25 1h 4m 37s main
main
September 19, 2024 01:25 1h 4m 37s
Windows Windows #234: Scheduled
September 19, 2024 01:09 2h 36m 1s main
main
September 19, 2024 01:09 2h 36m 1s
Macos Macos #233: Scheduled
September 18, 2024 01:39 1h 28m 58s main
main
September 18, 2024 01:39 1h 28m 58s
Ubuntu Ubuntu #233: Scheduled
September 18, 2024 01:35 2h 30m 17s main
main
September 18, 2024 01:35 2h 30m 17s
Ubuntu_dev Ubuntu_dev #123: Scheduled
September 18, 2024 01:23 1h 5m 51s main
main
September 18, 2024 01:23 1h 5m 51s
Windows Windows #233: Scheduled
September 18, 2024 01:08 2h 36m 15s main
main
September 18, 2024 01:08 2h 36m 15s
Macos Macos #232: Scheduled
September 17, 2024 01:17 1h 24m 4s main
main
September 17, 2024 01:17 1h 24m 4s
Ubuntu Ubuntu #232: Scheduled
September 17, 2024 01:14 2h 33m 22s main
main
September 17, 2024 01:14 2h 33m 22s