CI: cancel older concurrent PR runs · seL4/sel4bench@7b0815d

Triggered via pull request April 4, 2024 12:37

axel-h

labeled #46

Status Success

Total duration 10m 12s

Artifacts 4

sel4bench-pr.yml

on: pull_request_target

Matrix: Build

Matrix: HW Run

Produced during runtime