Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 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
[ fix ] rm unreachable Eq LangExt clause Lint Code Base #297: Commit 88f10b3 pushed by CodingCellist
1m 45s main
main
1m 45s
[ fix ] rm unreachable Eq LangExt clause Sphinx #244: Commit 88f10b3 pushed by CodingCellist
43s main
main
43s
[ fix ] rm unreachable Eq LangExt clause Lint the sources #297: Commit 88f10b3 pushed by CodingCellist
11s main
main
11s
[ fix ] rm unreachable Eq LangExt clause Idris2 and External Libs #53: Commit 88f10b3 pushed by CodingCellist
52m 22s main
main
52m 22s
[ warning ] Track number of transformation passes in %ensure_identity Sphinx #243: Commit 2258de7 pushed by CodingCellist
30s ensure-id-pragma
ensure-id-pragma
30s
[ warning ] Track number of transformation passes in %ensure_identity Lint Code Base #296: Commit 2258de7 pushed by CodingCellist
1m 30s ensure-id-pragma
ensure-id-pragma
1m 30s
[ warning ] Track number of transformation passes in %ensure_identity Idris2 and External Libs #52: Commit 2258de7 pushed by CodingCellist
41m 41s ensure-id-pragma
ensure-id-pragma
41m 41s
[ warning ] Track number of transformation passes in %ensure_identity Lint the sources #296: Commit 2258de7 pushed by CodingCellist
9s ensure-id-pragma
ensure-id-pragma
9s
[ new,pragma ] add %ensure_identity Sphinx #242: Commit 67a3c97 pushed by CodingCellist
36s ensure-id-pragma
ensure-id-pragma
36s
[ new,pragma ] add %ensure_identity Lint Code Base #295: Commit 67a3c97 pushed by CodingCellist
1m 48s ensure-id-pragma
ensure-id-pragma
1m 48s
[ new,pragma ] add %ensure_identity Lint the sources #295: Commit 67a3c97 pushed by CodingCellist
14s ensure-id-pragma
ensure-id-pragma
14s
[ new,pragma ] add %ensure_identity Idris2 and External Libs #51: Commit 67a3c97 pushed by CodingCellist
42m 22s ensure-id-pragma
ensure-id-pragma
42m 22s
[ fix ] rm unreachable Eq LangExt clause Lint the sources #294: Commit 58cef27 pushed by CodingCellist
13s no-borrowing
no-borrowing
13s
[ fix ] rm unreachable Eq LangExt clause Lint Code Base #294: Commit 58cef27 pushed by CodingCellist
1m 46s no-borrowing
no-borrowing
1m 46s
[ fix ] rm unreachable Eq LangExt clause Idris2 and External Libs #50: Commit 58cef27 pushed by CodingCellist
45m 19s no-borrowing
no-borrowing
45m 19s
[ fix ] rm unreachable Eq LangExt clause Sphinx #241: Commit 58cef27 pushed by CodingCellist
1m 8s no-borrowing
no-borrowing
1m 8s
[ chore ] Track Borrowing removal in CHANGELOG_NEXT Lint Code Base #293: Commit c77e350 pushed by CodingCellist
1m 49s no-borrowing
no-borrowing
1m 49s
[ chore ] Track Borrowing removal in CHANGELOG_NEXT Sphinx #240: Commit c77e350 pushed by CodingCellist
37s no-borrowing
no-borrowing
37s
[ chore ] Track Borrowing removal in CHANGELOG_NEXT Lint the sources #293: Commit c77e350 pushed by CodingCellist
10s no-borrowing
no-borrowing
10s
[ pragma ] Remove Borrowing Idris2 and External Libs #49: Commit 9d6e2dc pushed by CodingCellist
38m 25s no-borrowing
no-borrowing
38m 25s
[ pragma ] Remove Borrowing Lint Code Base #292: Commit 9d6e2dc pushed by CodingCellist
1m 50s no-borrowing
no-borrowing
1m 50s
[ pragma ] Remove Borrowing Lint the sources #292: Commit 9d6e2dc pushed by CodingCellist
18s no-borrowing
no-borrowing
18s
[ pragma ] Remove Borrowing Sphinx #239: Commit 9d6e2dc pushed by CodingCellist
35s no-borrowing
no-borrowing
35s
Graph Update: uv in /docs #1374287601 Dependency Graph #1: by dependabot Bot
1m 13s main
main
1m 13s
Check the type of typed lambdas (#3773) Lint Code Base #291: Commit 6a54860 pushed by CodingCellist
2m 2s main
main
2m 2s