Update CI config (#5893)

2026-08-25 00:00:18 +02:00 · 2023-08-02 01:04:11 +09:00
parent efe3ab679a
commit e5e88551d2
9 changed files with 29 additions and 22 deletions
@@ -5,6 +5,10 @@ on:
    branches:
      - master

+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
+  cancel-in-progress: true
+
 env:
  RUSTFLAGS: -Dwarnings
  RUST_BACKTRACE: 1