Skip to content

Actions: idris-community/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
954 workflow runs
954 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Notify if build fails Notify if build fails #414: completed by ghost
1s
1s
Build Build #430: Scheduled
48s main
main
48s
Notify if build fails Notify if build fails #413: completed by ghost
11s
11s
Build Build #429: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #412: completed by ghost
1s
1s
Build Build #428: Scheduled
50s main
main
50s
Notify if build fails Notify if build fails #411: completed by ghost
1s
1s
Build Build #427: Scheduled
43s main
main
43s
Build and Push Docker Image Build and Push Docker Image #58: Scheduled
38s main
main
38s
Notify if build fails Notify if build fails #410: completed by ghost
1s
1s
Build Build #426: Scheduled
48s main
main
48s
Notify if build fails Notify if build fails #409: completed by ghost
11s
11s
Build Build #425: Scheduled
54s main
main
54s
Notify if build fails Notify if build fails #408: completed by ghost
1s
1s
Build Build #424: Scheduled
42s main
main
42s
Notify if build fails Notify if build fails #407: completed by ghost
1s
1s
Build Build #423: Scheduled
51s main
main
51s
Notify if build fails Notify if build fails #406: completed by ghost
2s
2s
Build Build #422: Scheduled
50s main
main
50s
Notify if build fails Notify if build fails #405: completed by ghost
1s
1s
Build Build #421: Scheduled
48s main
main
48s
Notify if build fails Notify if build fails #404: completed by ghost
2s
2s
Build Build #420: Scheduled
43s main
main
43s
Build and Push Docker Image Build and Push Docker Image #57: Scheduled
32s main
main
32s
Notify if build fails Notify if build fails #403: completed by ghost
1s
1s