[docker] add new z3 and cvc5 minors

f893b85

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

EasyCrypt CI on: pull_request 14

Decide whether to run the CI

Build Docker images

EasyCrypt compilation (nix)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (opam)

Check EasyCrypt Libraries (unit)

Check EasyCrypt Libraries (stdlib)

Check EasyCrypt Libraries (examples)

Check EasyCrypt External Projects (set-status)

Publish Docker images

Notification

Enforce single-commit PR on: pull_request 1

check-commit-count

Build documentation on: pull_request 1

build

deploy

Decide whether to run the CI

succeeded Oct 15, 2026 in 5s

Loading