[ upstream ] Adapt for PR idris-lang/Idris2#2387

frex-project / idris-frex

Other

46 stars 9 forks source link

Closed buzden closed 2 years ago

gallais commented 2 years ago

Thanks!

Looks like we forgot to bump the version number in CI after the introduction of PrimType. It should hopefully work now.