Skip to content
Lint GitHub Actions workflows

Adding --proof-hint flag to PyK KRun #263

Sign in to view logs

Adding --proof-hint flag to PyK KRun

Adding --proof-hint flag to PyK KRun #263

Triggered via pull request July 19, 2024 12:01
@RobertorosmaninhoRobertorosmaninho
synchronize #4532
pi2/proof-hint-flag-to-pyk-krun
Status Success
Total duration 16s
Artifacts –

run-actionlint.yml

on: pull_request
Run actionlint
8s
Run actionlint
Fit to window
Zoom out
Zoom in