GitHub Actions

ci: generate test fixtures from pinned leanSpec commit #4

Sign in to view logs

Triggered via pull request February 11, 2026 20:25

MegaRedHand

opened #118

ci/pin-leanSpec-version

Status Success

Total duration 9s

Artifacts –

pr_lint_gha.yaml

on: pull_request