Skip to content

Actions: coq-tactician/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.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

Windows Windows #119: Scheduled
May 6, 2024 01:19 3h 2m 2s main
main
May 6, 2024 01:19 3h 2m 2s
Windows Windows #118: Scheduled
May 5, 2024 01:23 3h 6m 19s main
main
May 5, 2024 01:23 3h 6m 19s
Windows Windows #117: Scheduled
May 4, 2024 01:17 3h 2m 40s main
main
May 4, 2024 01:17 3h 2m 40s
Windows Windows #116: Scheduled
May 3, 2024 01:20 3h 19m 15s main
main
May 3, 2024 01:20 3h 19m 15s
Windows Windows #115: Scheduled
May 2, 2024 01:17 2h 59m 15s main
main
May 2, 2024 01:17 2h 59m 15s
Windows Windows #114: Scheduled
May 1, 2024 01:23 3h 10m 17s main
main
May 1, 2024 01:23 3h 10m 17s
Windows Windows #113: Scheduled
April 30, 2024 01:17 3h 0m 56s main
main
April 30, 2024 01:17 3h 0m 56s
Windows Windows #112: Scheduled
April 29, 2024 01:18 3h 6m 21s main
main
April 29, 2024 01:18 3h 6m 21s
Windows Windows #111: Scheduled
April 28, 2024 01:22 3h 5m 37s main
main
April 28, 2024 01:22 3h 5m 37s
Windows Windows #110: Scheduled
April 27, 2024 01:16 3h 6m 36s main
main
April 27, 2024 01:16 3h 6m 36s
Windows Windows #109: Scheduled
April 26, 2024 01:17 3h 2m 58s main
main
April 26, 2024 01:17 3h 2m 58s
Windows Windows #108: Scheduled
April 25, 2024 01:19 3h 15m 51s main
main
April 25, 2024 01:19 3h 15m 51s
Windows Windows #107: Scheduled
April 24, 2024 01:19 4h 16m 33s main
main
April 24, 2024 01:19 4h 16m 33s
Windows Windows #106: Scheduled
April 23, 2024 01:17 3h 17m 46s main
main
April 23, 2024 01:17 3h 17m 46s
Windows Windows #105: Scheduled
April 22, 2024 01:19 3h 5m 29s main
main
April 22, 2024 01:19 3h 5m 29s
Windows Windows #104: Scheduled
April 21, 2024 01:22 3h 12m 42s main
main
April 21, 2024 01:22 3h 12m 42s
Windows Windows #103: Scheduled
April 20, 2024 01:16 3h 8m 40s main
main
April 20, 2024 01:16 3h 8m 40s
Windows Windows #102: Scheduled
April 19, 2024 01:17 3h 11m 23s main
main
April 19, 2024 01:17 3h 11m 23s
Windows Windows #101: Scheduled
April 18, 2024 01:15 3h 15m 37s main
main
April 18, 2024 01:15 3h 15m 37s
Windows Windows #100: Scheduled
April 17, 2024 01:16 2h 54m 6s main
main
April 17, 2024 01:16 2h 54m 6s
Windows Windows #99: Scheduled
April 16, 2024 01:15 3h 26m 5s main
main
April 16, 2024 01:15 3h 26m 5s
Windows Windows #98: Scheduled
April 15, 2024 03:32 3h 11m 57s main
main
April 15, 2024 03:32 3h 11m 57s
Windows Windows #97: Scheduled
April 14, 2024 01:42 3h 0m 31s main
main
April 14, 2024 01:42 3h 0m 31s
Windows Windows #96: Scheduled
April 13, 2024 01:03 3h 14m 31s main
main
April 13, 2024 01:03 3h 14m 31s
Windows Windows #95: Scheduled
April 12, 2024 01:16 3h 16m 41s main
main
April 12, 2024 01:16 3h 16m 41s