PR label

docs: Delete instructions to run non-existent soundness.sh #176

Sign in to view logs

Triggered via pull request May 29, 2025 10:14

labeled #763

euanh:remove-soundness-check-docs

Status Success

Total duration 15s

Artifacts –

pull_request_label.yml

on: pull_request

Semantic version label check