Skip to content

chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base#91

Merged
proux01 merged 2 commits intov8.20from ci/v8.20Jun 20, 2024