Skip to content
Snippets Groups Projects

Swap import of Peano and Utf8 to ensure that Utf8 notations are preferred.

Merged Swap import of Peano and Utf8 to ensure that Utf8 notations are preferred.
herbelin/stdpp:master+adapt-coq-pr12950-notation-registering-reworking into master
Merged Hugo Herbelin requested to merge herbelin/stdpp:master+adapt-coq-pr12950-notation-registering-reworking into master

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.