perf: make `require` of large section-heavy developments fast

1834ef4

Select commit

Loading

Failed to load commit list.

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

Enforce single-commit PR on: pull_request 1

check-commit-count

EasyCrypt CI on: pull_request 14

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

Build documentation on: pull_request 1

build

deploy

Annotations

1 notice

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

check-commit-count

succeeded Sep 23, 2026 in 2s

Loading