Skip to content

Actions: idris-community/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
674 workflow runs
674 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
Mention mdformat in readme Lint #5: Commit 0c24677 pushed by nmccarty
1m 20s main
main
1m 20s
Mention mdformat in readme Publish Book #5: Commit 0c24677 pushed by nmccarty
2m 1s main
main
2m 1s
Mention mdformat in readme Build #7: Commit 0c24677 pushed by nmccarty
40s main
main
40s
Notify if build fails Notify if build fails #6: completed by nmccarty
Skipped
Skipped
Build Build #6: Scheduled
44s main
main
44s
Notify if build fails Notify if build fails #5: completed by nmccarty
1s
1s
Build Build #5: Scheduled
49s main
main
49s
Notify if build fails Notify if build fails #4: completed by nmccarty
1s
1s
Factor Chapter 3 into Subchapters Publish Book #4: Commit fec9194 pushed by nmccarty
3m 17s main
main
3m 17s
Factor Chapter 3 into Subchapters Lint #4: Commit fec9194 pushed by nmccarty
1m 26s main
main
1m 26s
Factor Chapter 3 into Subchapters Build #4: Commit fec9194 pushed by nmccarty
41s main
main
41s
Notify if build fails Notify if build fails #3: completed by nmccarty
1s
1s
Add dockerfile and build Lint #3: Commit 1edd677 pushed by nmccarty
1m 17s main
main
1m 17s
Add dockerfile and build Publish Book #3: Commit 1edd677 pushed by nmccarty
7m 2s main
main
7m 2s
Add dockerfile and build Build and Push Docker Image #1: Commit 1edd677 pushed by nmccarty
25m 2s main
main
25m 2s
Add dockerfile and build Build #3: Commit 1edd677 pushed by nmccarty
46s main
main
46s
Notify if build fails Notify if build fails #2: completed by nmccarty
1s
1s
Update Copyright Notice Lint #2: Commit cba6b45 pushed by nmccarty
1m 16s main
main
1m 16s
Update Copyright Notice Publish Book #2: Commit cba6b45 pushed by nmccarty
5m 46s main
main
5m 46s
Update Copyright Notice Build #2: Commit cba6b45 pushed by nmccarty
42s main
main
42s
Notify if build fails Notify if build fails #1: completed by nmccarty
1s
1s
TODOS update Build #1: Commit 6a7aca6 pushed by nmccarty
43s main
main
43s
TODOS update Publish Book #1: Commit 6a7aca6 pushed by nmccarty
6m 18s main
main
6m 18s
TODOS update Lint #1: Commit 6a7aca6 pushed by nmccarty
1m 7s main
main
1m 7s
ProTip! You can narrow down the results and go further in time using created:<2025-08-06 or the other filters available.