Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Sphinx #231: Commit 577ba59 pushed by CodingCellist
44s release-0.8.0
release-0.8.0
44s
[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Idris2 and External Libs #42: Commit 577ba59 pushed by CodingCellist
44m 32s release-0.8.0
release-0.8.0
44m 32s
[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Lint the sources #284: Commit 577ba59 pushed by CodingCellist
17s release-0.8.0
release-0.8.0
17s
[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Lint Code Base #284: Commit 577ba59 pushed by CodingCellist
1m 42s release-0.8.0
release-0.8.0
1m 42s
[ v0.8.0-rc1 ] Generate bootstrap code Lint Code Base #283: Commit 1815ee9 pushed by CodingCellist
1m 40s release-0.8.0
release-0.8.0
1m 40s
[ v0.8.0-rc1 ] Generate bootstrap code Lint the sources #283: Commit 1815ee9 pushed by CodingCellist
8s release-0.8.0
release-0.8.0
8s
[ v0.8.0-rc1 ] Generate bootstrap code Bootstrap #19: Commit 1815ee9 pushed by CodingCellist
1d 0h 0m 2s release-0.8.0
release-0.8.0
1d 0h 0m 2s
[ v0.8.0-rc1 ] Generate bootstrap code Sphinx #230: Commit 1815ee9 pushed by CodingCellist
49s release-0.8.0
release-0.8.0
49s
[ v0.8.0-rc1 ] Generate bootstrap code Idris2 and External Libs #41: Commit 1815ee9 pushed by CodingCellist
45m 46s release-0.8.0
release-0.8.0
45m 46s
[ fix #3654 ] Name all implicits during interface elaboration (#3655) Idris2 and External Libs #40: Commit c7e2835 pushed by CodingCellist
50m 15s main
main
50m 15s
[ fix #3654 ] Name all implicits during interface elaboration (#3655) Sphinx #229: Commit c7e2835 pushed by CodingCellist
46s main
main
46s
[ fix #3654 ] Name all implicits during interface elaboration (#3655) Lint Code Base #282: Commit c7e2835 pushed by CodingCellist
1m 46s main
main
1m 46s
[ fix #3654 ] Name all implicits during interface elaboration (#3655) Lint the sources #282: Commit c7e2835 pushed by CodingCellist
10s main
main
10s
[ docs ] Fix readthedocs links in packages.rst Sphinx #228: Commit 7dae1e3 pushed by CodingCellist
49s readthedocs-fixup
readthedocs-fixup
49s
[ docs ] Fix readthedocs links in packages.rst Lint the sources #281: Commit 7dae1e3 pushed by CodingCellist
12s readthedocs-fixup
readthedocs-fixup
12s
[ docs ] Fix readthedocs links in packages.rst Lint Code Base #281: Commit 7dae1e3 pushed by CodingCellist
1m 46s readthedocs-fixup
readthedocs-fixup
1m 46s
[docs] Point to the recent Papers website page Sphinx #227: Commit c54794a pushed by CodingCellist
3m 13s readthedocs-fixup
readthedocs-fixup
3m 13s
[docs] Point to the recent Papers website page Lint the sources #280: Commit c54794a pushed by CodingCellist
10s readthedocs-fixup
readthedocs-fixup
10s
[docs] Point to the recent Papers website page Lint Code Base #280: Commit c54794a pushed by CodingCellist
1m 45s readthedocs-fixup
readthedocs-fixup
1m 45s
Use field names while creating EvalOpts (#3649) Sphinx #226: Commit ab81660 pushed by CodingCellist
47s main
main
47s