Lint GitHub Actions workflows

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

Sign in to view logs

Triggered via pull request July 19, 2024 13:29

Robertorosmaninho

synchronize #4532

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

Status Success

Total duration 18s

Artifacts –

run-actionlint.yml

on: pull_request