Code

Update for Dune-Coq 0.8 and Coq 8.17#7

Code

Open

palmskog wants to merge 3 commits intov8.16coq-community/coq-plugin-template:v8.16from v8.17+0.8coq-community/coq-plugin-template:v8.17+0.8Copy head branch name to clipboard

+84-104

Commits

Commits on Jun 22, 2023

• update for Coq 8.17 and Dune-Coq 0.8

  palmskog

  committed
  9d32950

  Copy full SHA for 9d32950

• use docker-coq-action CI

  palmskog

  committed
  198e877

  Copy full SHA for 198e877

Commits on Jul 13, 2023

• update README.md, opam package and Docker CI

  palmskog

  committed
  bf2d563

  Copy full SHA for bf2d563