Skip to content
.github/workflows/ci.yml

Start fixing the AVL tree example #1187

Sign in to view logs

Start fixing the AVL tree example

Start fixing the AVL tree example #1187

Triggered via push July 4, 2024 10:02
@sonmarchosonmarcho
pushed 3365c91
son/avl-tests
Status Failure
Total duration 6m 13s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
check-charon-pin
6s
check-charon-pin
nix
5s
nix
lean
5m 24s
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.