Skip to content

Actions: Matthew-Mosior/idris2-fixed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
Updating README.md. Build #12: Commit 8645a03 pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Updating README.md. Lint #13: Commit 8645a03 pushed by Matthew-Mosior
1m 20s main
main
1m 20s
Adding Eq and Ord implementations. Lint #12: Commit ff6ac35 pushed by Matthew-Mosior
1m 7s main
main
1m 7s
Adding Eq and Ord implementations. Build #11: Commit ff6ac35 pushed by Matthew-Mosior
1m 20s main
main
1m 20s
Updating code. Lint #11: Commit 00eecd9 pushed by Matthew-Mosior
1m 4s main
main
1m 4s
Updating code. Build #10: Commit 00eecd9 pushed by Matthew-Mosior
1m 13s main
main
1m 13s
Updating code. Lint #10: Commit d1810cf pushed by Matthew-Mosior
1m 8s main
main
1m 8s
Updating code. Build #9: Commit d1810cf pushed by Matthew-Mosior
29s main
main
29s
Updating code. Build #8: Commit 71c84d8 pushed by Matthew-Mosior
1m 12s main
main
1m 12s
Updating code. Lint #9: Commit 71c84d8 pushed by Matthew-Mosior
1m 11s main
main
1m 11s
Removing base version constraint. Lint #8: Commit d236cdf pushed by Matthew-Mosior
1m 12s main
main
1m 12s
Removing base version constraint. Build #7: Commit d236cdf pushed by Matthew-Mosior
1m 27s main
main
1m 27s
Changing export modifier to private. Build #6: Commit f7a727f pushed by Matthew-Mosior
1m 25s main
main
1m 25s
Changing export modifier to private. Lint #7: Commit f7a727f pushed by Matthew-Mosior
1m 6s main
main
1m 6s
Updating code. Lint #6: Commit 4429f9c pushed by Matthew-Mosior
1m 12s main
main
1m 12s
Updating code. Build #5: Commit 4429f9c pushed by Matthew-Mosior
1m 22s main
main
1m 22s
Adding intermediate decimal subdivisions. Build #4: Commit c4d8fc2 pushed by Matthew-Mosior
1m 23s main
main
1m 23s
Adding intermediate decimal subdivisions. Lint #5: Commit c4d8fc2 pushed by Matthew-Mosior
1m 13s main
main
1m 13s
Fixing ci-lib.yml. Build #3: Commit ddedb37 pushed by Matthew-Mosior
1m 20s main
main
1m 20s
Fixing ci-lib.yml. Lint #4: Commit ddedb37 pushed by Matthew-Mosior
1m 14s main
main
1m 14s
Fixing pack.toml and ci-lib.yml. Build #2: Commit c13c278 pushed by Matthew-Mosior
1m 51s main
main
1m 51s
Fixing pack.toml and ci-lib.yml. Lint #3: Commit c13c278 pushed by Matthew-Mosior
1m 8s main
main
1m 8s
Create ci-lib.yml Lint #2: Commit 068fa72 pushed by Matthew-Mosior
1m 8s main
main
1m 8s
Create ci-lib.yml Build #1: Commit 068fa72 pushed by Matthew-Mosior
1m 3s main
main
1m 3s
Create ci-super-linter.yml Lint #1: Commit 765cef6 pushed by Matthew-Mosior
1m 8s main
main
1m 8s