Skip to content

build(deps): pin github-workflows to v0.12.1#11

Merged
jorisjonkers-dev-agents[bot] merged 3 commits into
mainfrom
fix/github-workflows-v0.12.1
Jul 10, 2026
Merged

build(deps): pin github-workflows to v0.12.1#11
jorisjonkers-dev-agents[bot] merged 3 commits into
mainfrom
fix/github-workflows-v0.12.1

build(deps): pin github-workflows to v0.12.1

e137c82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Workflow Lint
succeeded Jul 10, 2026 in 4s