diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2325f583b0..5d24f19797 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,13 @@ name: CI on: + workflow_dispatch: pull_request: +concurrency: + group: ${{ github.ref }} + cancel-in-progress: true + env: # https://doc.rust-lang.org/cargo/reference/profiles.html#release RUSTFLAGS: -Coverflow-checks=y -Cdebug-assertions=y