Skip to content

Actions: edwinb/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make unrestricted linear in the (!*) (#3506) Sphinx #105: Commit 644cd91 pushed by edwinb
24s main
main
24s
Make unrestricted linear in the (!*) (#3506) Lint the sources #209: Commit 644cd91 pushed by edwinb
9s main
main
9s
Make unrestricted linear in the (!*) (#3506) Idris2 and External Libs #2: Commit 644cd91 pushed by edwinb
47m 56s main
main
47m 56s
Make unrestricted linear in the (!*) (#3506) Lint Code Base #204: Commit 644cd91 pushed by edwinb
1m 38s main
main
1m 38s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Lint the sources #208: Commit 4e8847b pushed by edwinb
20s main
main
20s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Sphinx #104: Commit 4e8847b pushed by edwinb
35s main
main
35s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Bootstrap #11: Commit 4e8847b pushed by edwinb
7m 43s main
main
7m 43s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Idris2 and External Libs #1: Commit 4e8847b pushed by edwinb
49m 50s main
main
49m 50s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Lint Code Base #203: Commit 4e8847b pushed by edwinb
1m 47s main
main
1m 47s