d-flex flex-column width-full">

[llm] LOAD applies the easycrypt.project of the loaded file

fd5e04a

Select commit

Loading

Failed to load commit list.

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

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

Enforce single-commit PR on: pull_request 2

check-commit-count

Build documentation on: pull_request

build

deploy

Annotations

1 warning

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4, docker/login-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Build Docker images

succeeded Jul 23, 2026 in 6m 57s

Loading