Skip to content

Merge pull request #403 from AeneasVerif/son/errors #1662

Merge pull request #403 from AeneasVerif/son/errors

Merge pull request #403 from AeneasVerif/son/errors #1662

Triggered via push December 18, 2024 21:44
Status Success
Total duration 1m 1s
Artifacts

ci.yml

on: push
diff_lean_files
3s
diff_lean_files
nix
13s
nix
charon-pin-is-forward
8s
charon-pin-is-forward
charon-pin-is-merged
7s
charon-pin-is-merged
userdocs
4s
userdocs
Fit to window
Zoom out
Zoom in