Code

CI: add Coq 9.0+rc1#810

Code

Open

hendriktews wants to merge 3 commits intoProofGeneral:masterProofGeneral/PG:masterfrom hendriktews:test-9hendriktews/PG:test-9Copy head branch name to clipboard

Commits

Commits on Jan 29, 2025

• simple-tests: fix tests for Rocq 9

  hendriktews

  committed
  1d976af

  Copy full SHA for 1d976af

Commits on Jan 30, 2025

• CI: improve support for Coq/Rocq release candidates in cipg

  hendriktews

  committed
  711c24c

  Copy full SHA for 711c24c

• CI: add Coq/Rocq 9.0+rc1

  hendriktews

  committed
  8f81694

  Copy full SHA for 8f81694