Enforce PR labels

Improve `Proof` #4862

Sign in to view logs

Triggered via pull request July 28, 2023 09:04

abdulmth

opened #1209

feat/proof

Status Failure

Total duration 33s

Artifacts –

enforce-pr-labels.yml

on: pull_request

Annotations

1 error

enforce-label

Please select one of the required labels for this PR: Rust,Wasm,Documentation,No changelog