support cancel previous CI workflow
@@ -5,6 +5,13 @@ on:
name: CI
+# Cancel previous workflows if they are the same workflow on same ref (branch/tags)
+# with the same event (push/pull_request) even they are in progress.
+# This setting will help reduce the number of duplicated workflows.
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
+ cancel-in-progress: true
+
env:
CARGO_ARGS: --features ssl,jit
NON_WASM_PACKAGES: >
