Add Ltac2 Bool.to_string and Message.of_bool/of_list/of_option#22241
Open
JasonGross wants to merge 1 commit into
Open
Add Ltac2 Bool.to_string and Message.of_bool/of_list/of_option#22241JasonGross wants to merge 1 commit into
JasonGross wants to merge 1 commit into
coqbot-app / GitLab CI pipeline (pull request)
completed
Jul 8, 2026 in 0s
Light pipeline completed successfully on GitLab CI
This GitLab pipeline sets the following variables:
- FULL_CI: false
It contains the following stages and jobs:
- build-0
- build-1
- stats
GitLab Project ID: 4504
Loading