Skip to content
.github/workflows/ci.yml

Make progress on updating the proofs of the AVL trees #1189

Sign in to view logs

Make progress on updating the proofs of the AVL trees

Make progress on updating the proofs of the AVL trees #1189

Triggered via push July 4, 2024 14:08
@sonmarchosonmarcho
pushed 5f0e848
son/avl-tests
Status Failure
Total duration 7m 20s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
5s
check_if_skip_duplicate_job
check-charon-pin
7s
check-charon-pin
nix
1m 7s
nix
lean
5m 29s
lean
Fit to window
Zoom out
Zoom in

Annotations

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