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

[ test ] Move `case003` to `idris2/casetree`

54c3c10
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.