Skip to content
Cancel jobs from merged/closed pull request

Allow filtering anchors/delegations and make filtering infallible #376

Sign in to view logs

Allow filtering anchors/delegations and make filtering infallible

Allow filtering anchors/delegations and make filtering infallible #376

Triggered via pull request November 6, 2023 11:23
@thibault-martinezthibault-martinez
closed #1568
Status Success
Total duration 15s
Artifacts –

cancel-jobs.yml

on: pull_request_target
merge_job
5s
merge_job
Fit to window
Zoom out
Zoom in