Skip to content

Actions: coq-tactician/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
198 workflow runs
198 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
Macos Macos #218: Scheduled
September 3, 2024 01:37 1h 22m 55s main
main
September 3, 2024 01:37 1h 22m 55s
Macos Macos #217: Scheduled
September 2, 2024 01:40 1h 18m 48s main
main
September 2, 2024 01:40 1h 18m 48s
Macos Macos #216: Scheduled
September 1, 2024 01:51 1h 13m 59s main
main
September 1, 2024 01:51 1h 13m 59s
Macos Macos #215: Scheduled
August 31, 2024 01:37 1h 20m 33s main
main
August 31, 2024 01:37 1h 20m 33s
Macos Macos #214: Scheduled
August 30, 2024 01:38 1h 25m 29s main
main
August 30, 2024 01:38 1h 25m 29s
Macos Macos #213: Scheduled
August 29, 2024 01:37 1h 14m 53s main
main
August 29, 2024 01:37 1h 14m 53s
Macos Macos #212: Scheduled
August 28, 2024 01:37 1h 11m 37s main
main
August 28, 2024 01:37 1h 11m 37s
Macos Macos #211: Scheduled
August 27, 2024 01:36 1h 15m 35s main
main
August 27, 2024 01:36 1h 15m 35s
Macos Macos #210: Scheduled
August 26, 2024 01:35 1h 19m 52s main
main
August 26, 2024 01:35 1h 19m 52s
Macos Macos #209: Scheduled
August 25, 2024 01:41 1h 14m 11s main
main
August 25, 2024 01:41 1h 14m 11s
Macos Macos #208: Scheduled
August 24, 2024 01:26 1h 16m 29s main
main
August 24, 2024 01:26 1h 16m 29s
Macos Macos #207: Scheduled
August 23, 2024 01:34 1h 24m 59s main
main
August 23, 2024 01:34 1h 24m 59s
Macos Macos #206: Scheduled
August 22, 2024 01:35 1h 19m 10s main
main
August 22, 2024 01:35 1h 19m 10s
Macos Macos #205: Scheduled
August 21, 2024 01:33 1h 17m 48s main
main
August 21, 2024 01:33 1h 17m 48s
Macos Macos #204: Scheduled
August 20, 2024 01:33 1h 18m 30s main
main
August 20, 2024 01:33 1h 18m 30s
Macos Macos #203: Scheduled
August 19, 2024 01:35 1h 19m 28s main
main
August 19, 2024 01:35 1h 19m 28s
Macos Macos #202: Scheduled
August 18, 2024 01:38 1h 18m 22s main
main
August 18, 2024 01:38 1h 18m 22s
Macos Macos #201: Scheduled
August 17, 2024 01:25 1h 12m 31s main
main
August 17, 2024 01:25 1h 12m 31s
Macos Macos #200: Scheduled
August 16, 2024 01:33 1h 18m 20s main
main
August 16, 2024 01:33 1h 18m 20s
Macos Macos #199: Scheduled
August 15, 2024 01:23 1h 22m 52s main
main
August 15, 2024 01:23 1h 22m 52s
Macos Macos #198: Scheduled
August 14, 2024 01:34 1h 17m 15s main
main
August 14, 2024 01:34 1h 17m 15s
Macos Macos #197: Scheduled
August 13, 2024 01:36 1h 24m 23s main
main
August 13, 2024 01:36 1h 24m 23s
Macos Macos #196: Scheduled
August 12, 2024 01:36 1h 10m 59s main
main
August 12, 2024 01:36 1h 10m 59s
Macos Macos #195: Scheduled
August 11, 2024 01:40 1h 14m 34s main
main
August 11, 2024 01:40 1h 14m 34s