Skip to content
.github/workflows/ci.yml

Regenerate the code of the AVL tree #1188

Sign in to view logs

Regenerate the code of the AVL tree

Regenerate the code of the AVL tree #1188

Triggered via push July 4, 2024 12:13
@sonmarchosonmarcho
pushed 0305ad9
son/avl-tests
Status Failure
Total duration 15m 58s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
check-charon-pin
7s
check-charon-pin
nix
1m 27s
nix
lean
13m 44s
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.