Skip to content

Actions: CodingCellist/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
21 workflow runs
21 workflow runs

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
Merge branch 'main' into ensure-id-pragma Sphinx #245: Commit 8358922 pushed by gallais
42s ensure-id-pragma
ensure-id-pragma
42s
[ fix ] rm unreachable Eq LangExt clause Sphinx #244: Commit 88f10b3 pushed by CodingCellist
43s main
main
43s
[ warning ] Track number of transformation passes in %ensure_identity Sphinx #243: Commit 2258de7 pushed by CodingCellist
30s ensure-id-pragma
ensure-id-pragma
30s
[ new,pragma ] add %ensure_identity Sphinx #242: Commit 67a3c97 pushed by CodingCellist
36s ensure-id-pragma
ensure-id-pragma
36s
[ 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 Sphinx #240: Commit c77e350 pushed by CodingCellist
37s no-borrowing
no-borrowing
37s
[ pragma ] Remove Borrowing Sphinx #239: Commit 9d6e2dc pushed by CodingCellist
35s no-borrowing
no-borrowing
35s
Check the type of typed lambdas (#3773) Sphinx #238: Commit 6a54860 pushed by CodingCellist
35s main
main
35s
[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Sphinx #237: Commit 6f53729 pushed by CodingCellist
52s main
main
52s
[ 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) Sphinx #235: Commit c6788e5 pushed by CodingCellist
44s main
main
44s
[ 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 Sphinx #233: Commit fe78d82 pushed by CodingCellist
1m 43s main
main
1m 43s
[ 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
[ 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-rc1 ] Generate bootstrap code Sphinx #230: Commit 1815ee9 pushed by CodingCellist
49s release-0.8.0
release-0.8.0
49s
[ fix #3654 ] Name all implicits during interface elaboration (#3655) Sphinx #229: Commit c7e2835 pushed by CodingCellist
46s main
main
46s
[ docs ] Fix readthedocs links in packages.rst Sphinx #228: Commit 7dae1e3 pushed by CodingCellist
49s readthedocs-fixup
readthedocs-fixup
49s
[docs] Point to the recent Papers website page Sphinx #227: Commit c54794a pushed by CodingCellist
3m 13s readthedocs-fixup
readthedocs-fixup
3m 13s
Use field names while creating EvalOpts (#3649) Sphinx #226: Commit ab81660 pushed by CodingCellist
47s main
main
47s
[ admin ] Clear the release checklist Sphinx #225: Commit 20c4447 pushed by CodingCellist
36s finalise-release-0.7.0
finalise-release-0.7.0
36s