Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
[ 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
Check the type of typed lambdas (#3773) Sphinx #238: Commit 6a54860 pushed by CodingCellist
35s main
main
35s
Check the type of typed lambdas (#3773) Lint the sources #291: Commit 6a54860 pushed by CodingCellist
13s main
main
13s
Check the type of typed lambdas (#3773) Idris2 and External Libs #48: Commit 6a54860 pushed by CodingCellist
51m 31s main
main
51m 31s
[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Sphinx #237: Commit 6f53729 pushed by CodingCellist
52s main
main
52s
[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Lint the sources #290: Commit 6f53729 pushed by CodingCellist
23s main
main
23s
[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Lint Code Base #290: Commit 6f53729 pushed by CodingCellist
1m 53s main
main
1m 53s
[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Idris2 and External Libs #47: Commit 6f53729 pushed by CodingCellist
43m 54s main
main
43m 54s
[ fix #3670 ] Instantiate holes with correct PiInfo (#3672) Idris2 and External Libs #46: Commit 8c970f1 pushed by CodingCellist
43m 28s main
main
43m 28s
[ fix #3670 ] Instantiate holes with correct PiInfo (#3672) Lint Code Base #289: Commit 8c970f1 pushed by CodingCellist
1m 42s main
main
1m 42s
[ fix #3670 ] Instantiate holes with correct PiInfo (#3672) Lint the sources #289: Commit 8c970f1 pushed by CodingCellist
11s main
main
11s
[ fix #3670 ] Instantiate holes with correct PiInfo (#3672) Sphinx #236: Commit 8c970f1 pushed by CodingCellist
27s main
main
27s
[ test ] Clean version in tests output (#3660) Lint the sources #288: Commit c6788e5 pushed by CodingCellist
11s main
main
11s
[ test ] Clean version in tests output (#3660) Sphinx #235: Commit c6788e5 pushed by CodingCellist
44s main
main
44s
[ test ] Clean version in tests output (#3660) Lint Code Base #288: Commit c6788e5 pushed by CodingCellist
1m 40s main
main
1m 40s
[ test ] Clean version in tests output (#3660) Idris2 and External Libs #45: Commit c6788e5 pushed by CodingCellist
48m 34s main
main
48m 34s
[ admin ] Track PR #3665 in CHANGELOG_NEXT.md (#3668) Lint Code Base #287: Commit 759ace9 pushed by CodingCellist
1m 38s main
main
1m 38s