Skip to content

Actions: CodingCellist/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ nix ] Point emacs-src to idris-community/idris2-mode (#3682) Lint the sources #290: Commit 6f53729 pushed by CodingCellist
23s main
main
23s
[ fix #3670 ] Instantiate holes with correct PiInfo (#3672) Lint the sources #289: Commit 8c970f1 pushed by CodingCellist
11s main
main
11s
[ test ] Clean version in tests output (#3660) Lint the sources #288: Commit c6788e5 pushed by CodingCellist
11s main
main
11s
[ admin ] Track PR #3665 in CHANGELOG_NEXT.md (#3668) Lint the sources #287: Commit 759ace9 pushed by CodingCellist
8s main
main
8s
[ 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 Lint the sources #285: Commit b1fd4df pushed by CodingCellist
9s post-0.8.0
post-0.8.0
9s
[ 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-rc1 ] Generate bootstrap code Lint the sources #283: Commit 1815ee9 pushed by CodingCellist
8s release-0.8.0
release-0.8.0
8s
[ 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 Lint the sources #281: Commit 7dae1e3 pushed by CodingCellist
12s readthedocs-fixup
readthedocs-fixup
12s
[docs] Point to the recent Papers website page Lint the sources #280: Commit c54794a pushed by CodingCellist
10s readthedocs-fixup
readthedocs-fixup
10s
Use field names while creating EvalOpts (#3649) Lint the sources #279: Commit ab81660 pushed by CodingCellist
10s main
main
10s
[ admin ] Clear the release checklist Lint the sources #278: Commit 20c4447 pushed by CodingCellist
11s finalise-release-0.7.0
finalise-release-0.7.0
11s