Skip to content

Actions: idris-community/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
496 workflow runs
496 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Notify if build fails Notify if build fails #210: completed by nmccarty
1s
1s
Build Build #220: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #209: completed by nmccarty
1s
1s
Build Build #219: Scheduled
43s main
main
43s
Build and Push Docker Image Build and Push Docker Image #30: Scheduled
22m 29s main
main
22m 29s
Notify if build fails Notify if build fails #208: completed by nmccarty
8s
8s
Build Build #218: Scheduled
38s main
main
38s
Misc. fixes of QTT appendix Build #217: Pull request #12 synchronize by tokinanpa
46s tokinanpa:main
tokinanpa:main
46s
Misc. fixes of QTT appendix Lint #26: Pull request #12 synchronize by tokinanpa
58s tokinanpa:main
tokinanpa:main
58s
Misc. fixes of QTT appendix Build #216: Pull request #12 opened by tokinanpa
42s tokinanpa:main
tokinanpa:main
42s
Misc. fixes of QTT appendix Lint #25: Pull request #12 opened by tokinanpa
55s tokinanpa:main
tokinanpa:main
55s
Notify if build fails Notify if build fails #207: completed by nmccarty
1s
1s
Build Build #215: Scheduled
44s main
main
44s
Notify if build fails Notify if build fails #206: completed by nmccarty
1s
1s
Build Build #214: Scheduled
44s main
main
44s
Notify if build fails Notify if build fails #205: completed by nmccarty
1s
1s
Build Build #213: Scheduled
49s main
main
49s
Notify if build fails Notify if build fails #204: completed by nmccarty
1s
1s
Build Build #212: Scheduled
41s main
main
41s
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