Skip to content

[ ci, test ] Test compiler builded with Racket and some fixes in tests#3688

Open
spcfox wants to merge 11 commits into
idris-lang:mainfrom
spcfox:racket-ci
Open

[ ci, test ] Test compiler builded with Racket and some fixes in tests#3688
spcfox wants to merge 11 commits into
idris-lang:mainfrom
spcfox:racket-ci