EasyCrypt compilation & check

Fix a regression in `ecall` from #789 #4078

Sign in to view logs

Re-run triggered November 18, 2025 14:50

fdupress

#833

fix-ecall-memories

Status Success

Total duration 2m 33s

Artifacts 10

ci.yml

on: pull_request

EasyCrypt compilation (opam)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (nix)

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Check EasyCrypt External Projects (set-status)