Skip to content

Coquelicot 3.4.5. - #3835

Merged
silene merged 1 commit into
rocq-prover:masterfrom
silene:coquelicot-3.4.5
Aug 27, 2026
Merged

Coquelicot 3.4.5.#3835
silene merged 1 commit into
rocq-prover:masterfrom
silene:coquelicot-3.4.5

Coquelicot 3.4.5.

42424a6
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI pipeline (pull request) succeeded Aug 27, 2026 in 0s

Pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

It contains the following stages and jobs:

GitLab Project ID: 55429