Skip to content

Actions: idris-community/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
798 workflow runs
798 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 #341: completed by nmccarty
2s
2s
Build Build #357: Scheduled
48s main
main
48s
Build and Push Docker Image Build and Push Docker Image #48: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #340: completed by nmccarty
1s
1s
Build Build #356: Scheduled
49s main
main
49s
Notify if build fails Notify if build fails #339: completed by nmccarty
9s
9s
Build Build #355: Scheduled
54s main
main
54s
Notify if build fails Notify if build fails #338: completed by nmccarty
2s
2s
Build Build #354: Scheduled
2m 7s main
main
2m 7s
Notify if build fails Notify if build fails #337: completed by nmccarty
6s
6s
Build Build #353: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #336: completed by nmccarty
1s
1s
Build Build #352: Scheduled
46s main
main
46s
Notify if build fails Notify if build fails #335: completed by nmccarty
1s
1s
Build Build #351: Scheduled
48s main
main
48s
Notify if build fails Notify if build fails #334: completed by nmccarty
1s
1s
Build Build #350: Scheduled
44s main
main
44s
Notify if build fails Notify if build fails #333: completed by stefan-hoeck
7s
7s
Merge pull request #15 from gtzampanakis/fix_currying_article_name_er… Build #349: Commit bca1b5f pushed by stefan-hoeck
48s main
main
48s
Merge pull request #15 from gtzampanakis/fix_currying_article_name_er… Lint #38: Commit bca1b5f pushed by stefan-hoeck
1m 0s main
main
1m 0s
Merge pull request #15 from gtzampanakis/fix_currying_article_name_er… Publish Book #22: Commit bca1b5f pushed by stefan-hoeck
1m 45s main
main
1m 45s
Build and Push Docker Image Build and Push Docker Image #47: Scheduled
49s main
main
49s
Notify if build fails Notify if build fails #332: completed by nmccarty
1s
1s
Build Build #348: Scheduled
51s main
main
51s
Notify if build fails Notify if build fails #331: completed by nmccarty
1s
1s