Cancel jobs from merged/closed pull request

Clippy: remove unnecessary map_err #249

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Triggered via pull request September 29, 2023 12:46

closed #1353

Status Success

Total duration 13s

Artifacts –

cancel-jobs.yml

on: pull_request_target