Skip to content
CI

Merge branch 'more-formal-verification-for-eigenpods' of https://gith… #428

Sign in to view logs

Merge branch 'more-formal-verification-for-eigenpods' of https://gith…

Merge branch 'more-formal-verification-for-eigenpods' of https://gith… #428

Triggered via push December 5, 2023 23:33
@ChaoticWalrusChaoticWalrus
pushed 6b3b77a
more-formal-verification-for-eigenpods
Status Failure
Total duration 26s
Artifacts –

commitlint.yml

on: push
commitlint
17s
commitlint
Fit to window
Zoom out
Zoom in

Annotations

1 error
commitlint
Process completed with exit code 1.