Merge with upstream (#267)

.github/actions/cancel-on-failure/action.yml

@@ -0,0 +1,16 @@
+name: 'Cancel workflow on failure'
+description: 'If the current job is failing, cancel the whole workflow'
+
+runs:
+  using: composite
+  steps:
+    # Don't cancel on PRs which don't have permissions to do so and also don't
+    # cancel on Windows because that often results in a race between marking the
+    # job as failed or cancelled, often marking it as canceled. This doesn't
+    # seem to be an issue for other platforms though. If a failure happens on
+    # Windows let the failure naturally propagate.
+    - run: gh run cancel ${{ github.run_id }}
+      shell: bash
+      if: github.event_name != 'pull_request' && runner.os != 'Windows'
+      env:
+        GH_TOKEN: ${{ github.token }}