[ post-release ] Update CI #3658
Description
The IDRIS2_MINIMUM_COMPAT_VERSION in .github/workflows/ci-idris2-and-libs.yml needs to be updated to match the release version
{{ message }}
The IDRIS2_MINIMUM_COMPAT_VERSION in .github/workflows/ci-idris2-and-libs.yml needs to be updated to match the release version