Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
48e95990
by Julien Puydt at 2025-01-27T15:10:01+01:00
30 changed files:
- .github/workflows/ci-macos.yml
- .github/workflows/ci-windows.yml
- .gitlab-ci.yml
- dev/ci/ci-common.sh
- dev/ci/ci-http.sh
- dev/ci/docker/edge_ubuntu/Dockerfile
- dev/ci/platform/coq-pf-03-build.bat
- + dev/tools/pipeline-stats.py
- doc/tools/docgram/common.edit_mlg
- doc/tools/docgram/orderedGrammar
- engine/eConstr.ml
- engine/univSubst.ml
- interp/constrexpr_ops.ml
- interp/constrextern.ml
- interp/notation.ml
- interp/notationextern.mli
- kernel/constant_typing.ml
- kernel/context.ml
- kernel/context.mli
- kernel/inductive.ml
- library/lib.ml
- library/lib.mli
- parsing/extend.ml
- parsing/extend.mli
- parsing/notgram_ops.ml
- plugins/funind/functional_principles_types.ml
- tactics/btermdn.ml
- + test-suite/bugs/bug_19661.v
- + test-suite/bugs/bug_19712.v
- test-suite/output/Notations3.out