Skip to content
.github/workflows/ci.yml

Make progress on updating the proofs of the AVL tree #1190

Sign in to view logs

Make progress on updating the proofs of the AVL tree

Make progress on updating the proofs of the AVL tree #1190

Triggered via push July 4, 2024 17:38
@sonmarchosonmarcho
pushed 930add2
son/avl-tests
Status Failure
Total duration 15m 11s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
check-charon-pin
6s
check-charon-pin
nix
1m 6s
nix
lean
13m 23s
lean
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lean
Process completed with exit code 2.
nix
Process completed with exit code 1.