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 #269: Scheduled
October 24, 2024 01:12 2h 37m 47s main
main
October 24, 2024 01:12 2h 37m 47s
Windows Windows #268: Scheduled
October 23, 2024 01:11 2h 37m 58s main
main
October 23, 2024 01:11 2h 37m 58s
Windows Windows #267: Scheduled
October 22, 2024 01:12 2h 24m 50s main
main
October 22, 2024 01:12 2h 24m 50s
Windows Windows #266: Scheduled
October 21, 2024 01:13 6h 0m 24s main
main
October 21, 2024 01:13 6h 0m 24s
Windows Windows #265: Scheduled
October 20, 2024 01:17 6h 0m 22s main
main
October 20, 2024 01:17 6h 0m 22s
Windows Windows #264: Scheduled
October 19, 2024 01:11 6h 0m 23s main
main
October 19, 2024 01:11 6h 0m 23s
Windows Windows #263: Scheduled
October 18, 2024 01:12 6h 0m 23s main
main
October 18, 2024 01:12 6h 0m 23s
Windows Windows #262: Scheduled
October 17, 2024 01:11 6h 0m 27s main
main
October 17, 2024 01:11 6h 0m 27s
Windows Windows #261: Scheduled
October 16, 2024 01:12 2h 47m 25s main
main
October 16, 2024 01:12 2h 47m 25s
Windows Windows #260: Scheduled
October 15, 2024 01:12 2h 34m 25s main
main
October 15, 2024 01:12 2h 34m 25s
Windows Windows #259: Scheduled
October 14, 2024 01:13 2h 38m 1s main
main
October 14, 2024 01:13 2h 38m 1s
Windows Windows #258: Scheduled
October 13, 2024 01:16 2h 33m 54s main
main
October 13, 2024 01:16 2h 33m 54s
Windows Windows #257: Scheduled
October 12, 2024 01:09 2h 31m 26s main
main
October 12, 2024 01:09 2h 31m 26s
Windows Windows #256: Scheduled
October 11, 2024 01:11 2h 35m 44s main
main
October 11, 2024 01:11 2h 35m 44s
Windows Windows #255: Scheduled
October 10, 2024 01:11 2h 30m 56s main
main
October 10, 2024 01:11 2h 30m 56s
Windows Windows #254: Scheduled
October 9, 2024 01:11 2h 42m 9s main
main
October 9, 2024 01:11 2h 42m 9s
Windows Windows #253: Scheduled
October 8, 2024 01:11 2h 35m 23s main
main
October 8, 2024 01:11 2h 35m 23s
Windows Windows #252: Scheduled
October 7, 2024 01:13 2h 39m 17s main
main
October 7, 2024 01:13 2h 39m 17s
Windows Windows #251: Scheduled
October 6, 2024 01:16 2h 29m 33s main
main
October 6, 2024 01:16 2h 29m 33s
Windows Windows #250: Scheduled
October 5, 2024 01:10 2h 34m 34s main
main
October 5, 2024 01:10 2h 34m 34s
Windows Windows #249: Scheduled
October 4, 2024 01:11 2h 50m 53s main
main
October 4, 2024 01:11 2h 50m 53s
Windows Windows #248: Scheduled
October 3, 2024 01:11 2h 37m 43s main
main
October 3, 2024 01:11 2h 37m 43s
Windows Windows #247: Scheduled
October 2, 2024 01:11 2h 39m 53s main
main
October 2, 2024 01:11 2h 39m 53s
Windows Windows #246: Scheduled
October 1, 2024 01:18 2h 32m 15s main
main
October 1, 2024 01:18 2h 32m 15s
Windows Windows #245: Scheduled
September 30, 2024 01:13 2h 31m 50s main
main
September 30, 2024 01:13 2h 31m 50s