Update target Idris2 version

Russoul · Dec 20, 2023 · e9533c0 · e9533c0
1 parent 9222742
commit e9533c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nova.yml b/.github/workflows/nova.yml
@@ -14,7 +14,7 @@ env:
   # The idris2 commit we build upon
   IDRIS2_REMOTE: "idris-lang"
   RUSSOUL_REMOTE: "russoul"
-  IDRIS2_HASH: "86c53e607"
+  IDRIS2_HASH: "4cb45daba4b6b1c32f2f0dd7195daebe531cb335"
 
 jobs: