Skip to content
GitHub Actions

ci: generate test fixtures from pinned leanSpec commit #7

Sign in to view logs

ci: generate test fixtures from pinned leanSpec commit

ci: generate test fixtures from pinned leanSpec commit #7

Triggered via pull request February 11, 2026 20:48
@MegaRedHandMegaRedHand
synchronize #118
ci/pin-leanSpec-version
Status Success
Total duration 8s
Artifacts –

pr_lint_gha.yaml

on: pull_request
Lint
4s
Lint
Fit to window
Zoom out
Zoom in