Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
[ admin ] Track PR #3665 in CHANGELOG_NEXT.md (#3668) Lint the sources #287: Commit 759ace9 pushed by CodingCellist
8s main
main
8s
[ admin ] Track PR #3665 in CHANGELOG_NEXT.md (#3668) Sphinx #234: Commit 759ace9 pushed by CodingCellist
39s main
main
39s
[ admin ] Clear the release checklist post-v0.8.0 Lint Code Base #286: Commit fe78d82 pushed by CodingCellist
1m 38s main
main
1m 38s
[ admin ] Clear the release checklist post-v0.8.0 Sphinx #233: Commit fe78d82 pushed by CodingCellist
1m 43s main
main
1m 43s
[ admin ] Clear the release checklist post-v0.8.0 Bootstrap #21: Commit fe78d82 pushed by CodingCellist
1d 0h 0m 2s main
main
1d 0h 0m 2s
[ admin ] Clear the release checklist post-v0.8.0 Idris2 and External Libs #44: Commit fe78d82 pushed by CodingCellist
52m 5s main
main
52m 5s
[ admin ] Clear the release checklist post-v0.8.0 Lint the sources #286: Commit fe78d82 pushed by CodingCellist
10s main
main
10s
[ admin ] Clear the release checklist post-v0.8.0 Sphinx #232: Commit b1fd4df pushed by CodingCellist
1m 58s post-0.8.0
post-0.8.0
1m 58s
[ admin ] Clear the release checklist post-v0.8.0 Lint the sources #285: Commit b1fd4df pushed by CodingCellist
9s post-0.8.0
post-0.8.0
9s
[ admin ] Clear the release checklist post-v0.8.0 Lint Code Base #285: Commit b1fd4df pushed by CodingCellist
1m 37s post-0.8.0
post-0.8.0
1m 37s
[ admin ] Clear the release checklist post-v0.8.0 Bootstrap #20: Commit b1fd4df pushed by CodingCellist
1d 0h 0m 2s post-0.8.0
post-0.8.0
1d 0h 0m 2s
[ admin ] Clear the release checklist post-v0.8.0 Idris2 and External Libs #43: Commit b1fd4df pushed by CodingCellist
48m 58s post-0.8.0
post-0.8.0
48m 58s