Don't fail CI for multiple commits in quick succession

This commit is contained in:
Laurenz 2023-08-26 19:10:43 +02:00
parent b2d6cb58dc
commit 8791820590

View File

@ -1,10 +1,6 @@
name: Continuous integration
on: [push, pull_request]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
env:
RUSTFLAGS: "-Dwarnings"
RUSTDOCFLAGS: "-Dwarnings"