Code

CI: multiple OCaml versions#1040

Code

Merged

mattam82 merged 2 commits intoMetaCoq:coq-8.17MetaCoq/metacoq:coq-8.17from liyishuai:patch-1liyishuai/metacoq:patch-1Copy head branch name to clipboardJan 27, 2024

+2-1

Commits

Commits on Jan 17, 2024

• CI: multiple OCaml versions

  liyishuai

  authored
  ad8d2af

  Copy full SHA for ad8d2af

Commits on Jan 25, 2024

• CI: fix concurrency and trim versions

  liyishuai

  authored
  b3f2a12

  Copy full SHA for b3f2a12