tests: add Lean formalization for AVL #1182
ci.yml
on: push
check_if_skip_duplicate_job
4s
check-charon-pin
30s
Annotations
3 errors
check-charon-pin
Process completed with exit code 1.
|
lean
Process completed with exit code 2.
|
nix
Process completed with exit code 1.
|