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 #213: Scheduled
August 29, 2024 01:34 2h 31m 11s main
main
August 29, 2024 01:34 2h 31m 11s
Ubuntu_dev Ubuntu_dev #103: Scheduled
August 29, 2024 01:21 1h 6m 58s main
main
August 29, 2024 01:21 1h 6m 58s
Windows Windows #213: Scheduled
August 29, 2024 01:07 2h 43m 52s main
main
August 29, 2024 01:07 2h 43m 52s
Macos Macos #212: Scheduled
August 28, 2024 01:37 1h 11m 37s main
main
August 28, 2024 01:37 1h 11m 37s
Ubuntu Ubuntu #212: Scheduled
August 28, 2024 01:26 2h 33m 25s main
main
August 28, 2024 01:26 2h 33m 25s
Ubuntu_dev Ubuntu_dev #102: Scheduled
August 28, 2024 01:21 1h 6m 13s main
main
August 28, 2024 01:21 1h 6m 13s
Windows Windows #212: Scheduled
August 28, 2024 01:06 2h 39m 16s main
main
August 28, 2024 01:06 2h 39m 16s
Macos Macos #211: Scheduled
August 27, 2024 01:36 1h 15m 35s main
main
August 27, 2024 01:36 1h 15m 35s
Ubuntu Ubuntu #211: Scheduled
August 27, 2024 01:25 2h 32m 50s main
main
August 27, 2024 01:25 2h 32m 50s
Ubuntu_dev Ubuntu_dev #101: Scheduled
August 27, 2024 01:20 1h 6m 19s main
main
August 27, 2024 01:20 1h 6m 19s
Windows Windows #211: Scheduled
August 27, 2024 01:05 2h 35m 56s main
main
August 27, 2024 01:05 2h 35m 56s
Macos Macos #210: Scheduled
August 26, 2024 01:35 1h 19m 52s main
main
August 26, 2024 01:35 1h 19m 52s
Ubuntu Ubuntu #210: Scheduled
August 26, 2024 01:25 2h 33m 10s main
main
August 26, 2024 01:25 2h 33m 10s
Ubuntu_dev Ubuntu_dev #100: Scheduled
August 26, 2024 01:20 1h 7m 4s main
main
August 26, 2024 01:20 1h 7m 4s
Windows Windows #210: Scheduled
August 26, 2024 01:05 2h 38m 59s main
main
August 26, 2024 01:05 2h 38m 59s
Macos Macos #209: Scheduled
August 25, 2024 01:41 1h 14m 11s main
main
August 25, 2024 01:41 1h 14m 11s
Ubuntu Ubuntu #209: Scheduled
August 25, 2024 01:37 2h 32m 55s main
main
August 25, 2024 01:37 2h 32m 55s
Ubuntu_dev Ubuntu_dev #99: Scheduled
August 25, 2024 01:25 1h 6m 44s main
main
August 25, 2024 01:25 1h 6m 44s
Windows Windows #209: Scheduled
August 25, 2024 01:10 2h 31m 49s main
main
August 25, 2024 01:10 2h 31m 49s
Macos Macos #208: Scheduled
August 24, 2024 01:26 1h 16m 29s main
main
August 24, 2024 01:26 1h 16m 29s
Ubuntu Ubuntu #208: Scheduled
August 24, 2024 01:22 2h 31m 28s main
main
August 24, 2024 01:22 2h 31m 28s
Ubuntu_dev Ubuntu_dev #98: Scheduled
August 24, 2024 01:17 1h 6m 2s main
main
August 24, 2024 01:17 1h 6m 2s
Windows Windows #208: Scheduled
August 24, 2024 01:03 2h 42m 5s main
main
August 24, 2024 01:03 2h 42m 5s
Macos Macos #207: Scheduled
August 23, 2024 01:34 1h 24m 59s main
main
August 23, 2024 01:34 1h 24m 59s
Ubuntu Ubuntu #207: Scheduled
August 23, 2024 01:24 2h 33m 27s main
main
August 23, 2024 01:24 2h 33m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-08-23 or the other filters available.