Lint GitHub Actions workflows

Avoid clashes of generated declarations and Lean 4 #1073

Sign in to view logs

Triggered via pull request January 21, 2025 18:28

JuanCoRo

synchronize #4742

clashing-names

Status Success

Total duration 15s

Artifacts –

run-actionlint.yml

on: pull_request