Skip to content

Actions: CodingCellist/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
[ test ] Clean version in tests output (#3660) Idris2 and External Libs #45: Commit c6788e5 pushed by CodingCellist
48m 34s main
main
48m 34s
[ 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 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 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-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
Use field names while creating EvalOpts (#3649) Idris2 and External Libs #39: Commit ab81660 pushed by CodingCellist
49m 16s main
main
49m 16s
[ admin ] Clear the release checklist Idris2 and External Libs #38: Commit 20c4447 pushed by CodingCellist
44m 0s finalise-release-0.7.0
finalise-release-0.7.0
44m 0s