Workflow to label external contributions

chore(main): release prover 24.1.0 #5194

Sign in to view logs

Triggered via pull request January 23, 2026 11:34

opened #4629

Status Success

Total duration 7s

Artifacts –

label-extenal-contributions.yml

on: pull_request_target