Lint GitHub Actions workflows

Adding `--proof-hint` flag to PyK KRun #255

Sign in to view logs

Triggered via pull request July 18, 2024 23:30

Robertorosmaninho

opened #4532

pi2/proof-hint-flag-to-pyk-krun

Status Success

Total duration 19s

Artifacts –

run-actionlint.yml

on: pull_request