Skip to content

Actions: spcfox/idris2-pack

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #114: Scheduled
45m 51s main
main
45m 51s
Build Build #113: Scheduled
41m 51s main
main
41m 51s
Build Build #112: Scheduled
42m 18s main
main
42m 18s
Build Build #111: Scheduled
43m 14s main
main
43m 14s
Build Build #110: Scheduled
40m 42s main
main
40m 42s
Build Build #109: Scheduled
41m 1s main
main
41m 1s
Build Build #108: Scheduled
42m 53s main
main
42m 53s
Build Build #107: Scheduled
41m 14s main
main
41m 14s
Build Build #106: Scheduled
43m 26s main
main
43m 26s
Build Build #105: Scheduled
42m 35s main
main
42m 35s
Build Build #104: Scheduled
42m 44s main
main
42m 44s
Build Build #103: Scheduled
44m 35s main
main
44m 35s
Build Build #102: Scheduled
41m 41s main
main
41m 41s
Build Build #101: Scheduled
44m 21s main
main
44m 21s
Build Build #100: Scheduled
44m 1s main
main
44m 1s
Build Build #99: Scheduled
43m 38s main
main
43m 38s
Build Build #98: Scheduled
42m 44s main
main
42m 44s
Build Build #97: Scheduled
6m 48s main
main
6m 48s
Build Build #96: Scheduled
47m 25s main
main
47m 25s
Build Build #95: Scheduled
41m 57s main
main
41m 57s
Build Build #94: Scheduled
42m 55s main
main
42m 55s
Build Build #93: Scheduled
44m 13s main
main
44m 13s
Build Build #92: Scheduled
44m 49s main
main
44m 49s
Build Build #91: Scheduled
44m 0s main
main
44m 0s
Build Build #90: Scheduled
42m 53s main
main
42m 53s