.github/workflows/ci.yml

Merge branch 'son/update-lean' into son/scalar_tac #1176

Sign in to view logs

Triggered via push July 3, 2024 12:48

sonmarcho

son/scalar_tac

Status Failure

Total duration 16m 20s

Artifacts –

ci.yml

on: push

check_if_skip_duplicate_job

check-charon-pin

Annotations

2 errors

check-charon-pin

Process completed with exit code 1.

Process completed with exit code 2.