Skip to content

ci: add linter and tests check #3

ci: add linter and tests check

ci: add linter and tests check #3

Triggered via pull request January 16, 2026 22:38
@MegaRedHandMegaRedHand
synchronize #33
add-ci
Status Failure
Total duration 36s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test
Repository path '/home/runner/work/ethlambda/leanSpec' is not under '/home/runner/work/ethlambda/ethlambda'