issues
search
idris-hackers
/
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267
stars
70
forks
source link
Add Emacs 28.2 to test matrix and
#585
Closed
keram
closed
1 year ago
keram
commented
1 year ago
update CI action/cache and action/checkout to v3
reduce job timeout from default 360 to 60 minutes.