[ci] cancel previous runs on commits

.github/workflows/main.yml

@@ -3,6 +3,16 @@ name: CI
 on: [push, pull_request]
 
 jobs:
+  cancel:
+    name: "Cancel previous runs"
+    runs-on: ubuntu-latest
+    timeout-minutes: 3
+    steps:
+      - uses: styfle/[email protected]
+        with:
+          workflow_id: 1447568
+          access_token: ${{ github.token }}
+
   windows64-build:
     runs-on: windows-latest
     env:

extra/github-actions/workflows/main.yml

@@ -2,6 +2,16 @@ name: CI
 on: [push, pull_request]
 
 jobs:
+  cancel:
+    name: "Cancel previous runs"
+    runs-on: ubuntu-latest
+    timeout-minutes: 3
+    steps:
+      - uses: styfle/[email protected]
+        with:
+          workflow_id: 1447568
+          access_token: ${{ github.token }}
+
   windows64-build:
     runs-on: windows-latest
     env: