Skip to content
Snippets Groups Projects

Ensure variable names do not clash with Coq keywords.

Merged Ensure variable names do not clash with Coq keywords.
ci/fix_global_names into master
Merged Rodolphe Lepigre requested to merge ci/fix_global_names into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:14:47

avatar
Stage: build
Download artifacts

No artifacts found