Cancel jobs from merged/closed pull request

CI: switch all rust toolchains to setup-rust #128

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Triggered via pull request September 6, 2023 09:28

thibault-martinez

closed #1149

Status Success

Total duration 11s

Artifacts –

cancel-jobs.yml

on: pull_request_target