Code

Support Coq 8.20#258

Code

Merged

4ever2 merged 10 commits intoAU-COBRA:masterAU-COBRA/ConCert:masterfrom 4ever2:coq204ever2/ConCert:coq20Copy head branch name to clipboardJan 21, 2025

+340-216

Commits

Commits on Jan 20, 2025

• Update opam dependencies

  4ever2

  committed
  13313e9

  Copy full SHA for 13313e9

• Update coq-nix-toolbox

  4ever2

  committed
  e3555b6

  Copy full SHA for e3555b6

• Add Coq 8.20 Nix bundle

  4ever2

  committed
  d82c2b5

  Copy full SHA for d82c2b5

• Compatible with Coq 8.20

  4ever2

  committed
  092f197

  Copy full SHA for 092f197

• Add concurrency grups to nix workflows

  4ever2

  committed
  2d118de

  Copy full SHA for 2d118de

• Don't run nix workflow for non Nix/Coq related changes

  4ever2

  committed
  a1a9105

  Copy full SHA for a1a9105

• no message

  4ever2

  committed
  bbb75f1

  Copy full SHA for bbb75f1

• Fix warnings

  4ever2

  committed
  fd940f4

  Copy full SHA for fd940f4

Commits on Jan 21, 2025

• Fix Nix workflows

  4ever2

  committed
  4ac01e6

  Copy full SHA for 4ac01e6

• Remove 8.19 Nix bundle

  4ever2

  committed
  f47d004

  Copy full SHA for f47d004