fix(ci): key the Idris 2 cache on the Chez Scheme version - #930

fix(ci): key the Idris 2 cache on the Chez Scheme version#930

hyperpolymath merged 1 commit into

mainhyperpolymath/hypatia:mainfrom

claude/abi-drift-chez-cachehyperpolymath/hypatia:claude/abi-drift-chez-cacheCopy head branch name to clipboard