Skip to content
Snippets Groups Projects
Unverified Commit 95122c52 authored by mcbarton's avatar mcbarton Committed by GitHub
Browse files

[ci] Cancel outstanding workflows when new changes are added to PRs (#571)

parent 76702e42
No related branches found
No related tags found
No related merge requests found
name: CI
on: [push, pull_request]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
cancel-in-progress: true
jobs:
buildlibc:
name: Build libc
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment