Lint GitHub Actions workflows

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

Sign in to view logs

Triggered via pull request July 19, 2024 12:01

Robertorosmaninho

synchronize #4532

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

Status Success

Total duration 15s

Artifacts –

run-actionlint.yml

on: pull_request