Skip to content

Actions: idris-community/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
477 workflow runs
477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Notify if build fails Notify if build fails #203: completed by nmccarty
1s
1s
Build Build #211: Scheduled
54s main
main
54s
Notify if build fails Notify if build fails #202: completed by nmccarty
1s
1s
Build Build #210: Scheduled
42s main
main
42s
Build and Push Docker Image Build and Push Docker Image #29: Scheduled
21m 33s main
main
21m 33s
Notify if build fails Notify if build fails #201: completed by nmccarty
1s
1s
Build Build #209: Scheduled
44s main
main
44s
Notify if build fails Notify if build fails #200: completed by nmccarty
2s
2s
Build Build #208: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #199: completed by nmccarty
1s
1s
Build Build #207: Scheduled
45s main
main
45s
Notify if build fails Notify if build fails #198: completed by nmccarty
2s
2s
Build Build #206: Scheduled
46s main
main
46s
Notify if build fails Notify if build fails #197: completed by nmccarty
1s
1s
Build Build #205: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #196: completed by nmccarty
Skipped
Skipped
Build Build #204: Scheduled
42s main
main
42s
Notify if build fails Notify if build fails #195: completed by nmccarty
1s
1s
Build Build #203: Scheduled
44s main
main
44s
Build and Push Docker Image Build and Push Docker Image #28: Scheduled
22m 54s main
main
22m 54s
Notify if build fails Notify if build fails #194: completed by nmccarty
1s
1s
Build Build #202: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #193: completed by nmccarty
1s
1s
Build Build #201: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #192: completed by nmccarty
1s
1s