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

Macos Macos #219: Scheduled
September 4, 2024 01:38 1h 12m 9s main
main
September 4, 2024 01:38 1h 12m 9s
Ubuntu Ubuntu #219: Scheduled
September 4, 2024 01:35 2h 33m 10s main
main
September 4, 2024 01:35 2h 33m 10s
Ubuntu_dev Ubuntu_dev #109: Scheduled
September 4, 2024 01:22 1h 7m 15s main
main
September 4, 2024 01:22 1h 7m 15s
Windows Windows #219: Scheduled
September 4, 2024 01:07 2h 32m 53s main
main
September 4, 2024 01:07 2h 32m 53s
Macos Macos #218: Scheduled
September 3, 2024 01:37 1h 22m 55s main
main
September 3, 2024 01:37 1h 22m 55s
Ubuntu Ubuntu #218: Scheduled
September 3, 2024 01:33 2h 31m 12s main
main
September 3, 2024 01:33 2h 31m 12s
Ubuntu_dev Ubuntu_dev #108: Scheduled
September 3, 2024 01:21 1h 11m 10s main
main
September 3, 2024 01:21 1h 11m 10s
Windows Windows #218: Scheduled
September 3, 2024 01:06 2h 38m 43s main
main
September 3, 2024 01:06 2h 38m 43s
Macos Macos #217: Scheduled
September 2, 2024 01:40 1h 18m 48s main
main
September 2, 2024 01:40 1h 18m 48s
Ubuntu Ubuntu #217: Scheduled
September 2, 2024 01:36 2h 30m 19s main
main
September 2, 2024 01:36 2h 30m 19s
Ubuntu_dev Ubuntu_dev #107: Scheduled
September 2, 2024 01:23 1h 6m 3s main
main
September 2, 2024 01:23 1h 6m 3s
Windows Windows #217: Scheduled
September 2, 2024 01:08 3h 17m 46s main
main
September 2, 2024 01:08 3h 17m 46s
Macos Macos #216: Scheduled
September 1, 2024 01:51 1h 13m 59s main
main
September 1, 2024 01:51 1h 13m 59s
Ubuntu Ubuntu #216: Scheduled
September 1, 2024 01:47 2h 30m 24s main
main
September 1, 2024 01:47 2h 30m 24s
Ubuntu_dev Ubuntu_dev #106: Scheduled
September 1, 2024 01:41 1h 8m 6s main
main
September 1, 2024 01:41 1h 8m 6s
Windows Windows #216: Scheduled
September 1, 2024 01:17 2h 30m 17s main
main
September 1, 2024 01:17 2h 30m 17s
Macos Macos #215: Scheduled
August 31, 2024 01:37 1h 20m 33s main
main
August 31, 2024 01:37 1h 20m 33s
Ubuntu Ubuntu #215: Scheduled
August 31, 2024 01:33 2h 30m 41s main
main
August 31, 2024 01:33 2h 30m 41s
Ubuntu_dev Ubuntu_dev #105: Scheduled
August 31, 2024 01:21 1h 5m 55s main
main
August 31, 2024 01:21 1h 5m 55s
Windows Windows #215: Scheduled
August 31, 2024 01:06 2h 24m 54s main
main
August 31, 2024 01:06 2h 24m 54s
Macos Macos #214: Scheduled
August 30, 2024 01:38 1h 25m 29s main
main
August 30, 2024 01:38 1h 25m 29s
Ubuntu Ubuntu #214: Scheduled
August 30, 2024 01:34 2h 36m 17s main
main
August 30, 2024 01:34 2h 36m 17s
Ubuntu_dev Ubuntu_dev #104: Scheduled
August 30, 2024 01:22 1h 6m 21s main
main
August 30, 2024 01:22 1h 6m 21s
Windows Windows #214: Scheduled
August 30, 2024 01:07 2h 34m 49s main
main
August 30, 2024 01:07 2h 34m 49s
Macos Macos #213: Scheduled
August 29, 2024 01:37 1h 14m 53s main
main
August 29, 2024 01:37 1h 14m 53s