Skip to content
CI

ci: generate test fixtures from pinned leanSpec commit #243

Sign in to view logs

ci: generate test fixtures from pinned leanSpec commit

ci: generate test fixtures from pinned leanSpec commit #243

Triggered via pull request February 11, 2026 20:25
@MegaRedHandMegaRedHand
opened #118
ci/pin-leanSpec-version
Status Failure
Total duration 53s
Artifacts –

ci.yml

on: pull_request
Lint
49s
Lint
Test
7s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Invalid format ' cd leanSpec && git checkout $(LEAN_SPEC_COMMIT_HASH)'
Test
Unable to process file command 'output' successfully.