Skip to content
GitHub Actions

ci: generate test fixtures from pinned leanSpec commit #5

Sign in to view logs

ci: generate test fixtures from pinned leanSpec commit

ci: generate test fixtures from pinned leanSpec commit #5

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

pr_lint_gha.yaml

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