Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 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
Graph Update: uv in /docs #1519876040 Dependency Graph #2: by dependabot Bot
41s main
main
41s
Remove code duplication in Compiler.LambdaLift (#3826) Idris2 and External Libs #55: Commit 134412e pushed by CodingCellist
2h 7m 50s main
main
2h 7m 50s
Remove code duplication in Compiler.LambdaLift (#3826) Sphinx #246: Commit 134412e pushed by CodingCellist
1m 55s main
main
1m 55s
Remove code duplication in Compiler.LambdaLift (#3826) Lint the sources #299: Commit 134412e pushed by CodingCellist
12s main
main
12s
Remove code duplication in Compiler.LambdaLift (#3826) Lint Code Base #299: Commit 134412e pushed by CodingCellist
1m 46s main
main
1m 46s
Merge branch 'main' into ensure-id-pragma Sphinx #245: Commit 8358922 pushed by gallais
42s ensure-id-pragma
ensure-id-pragma
42s
Merge branch 'main' into ensure-id-pragma Idris2 and External Libs #54: Commit 8358922 pushed by gallais
52m 47s ensure-id-pragma
ensure-id-pragma
52m 47s
Merge branch 'main' into ensure-id-pragma Lint the sources #298: Commit 8358922 pushed by gallais
10s ensure-id-pragma
ensure-id-pragma
10s
Merge branch 'main' into ensure-id-pragma Lint Code Base #298: Commit 8358922 pushed by gallais
2m 16s ensure-id-pragma
ensure-id-pragma
2m 16s
[ 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