From cc7cd275e66fe72f5f48959a97b863a644a262ca Mon Sep 17 00:00:00 2001
From: Alex Bates <hi@imalex.xyz>
Date: Wed, 19 Aug 2020 01:53:24 +0100
Subject: [PATCH] ci: require matched asm files are deleted

---
 .github/workflows/coverage.yaml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .github/workflows/coverage.yaml

diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
new file mode 100644
index 0000000000..ec434b6b8e
--- /dev/null
+++ b/.github/workflows/coverage.yaml
@@ -0,0 +1,13 @@
+name: Coverage
+on:
+  pull_request:
+    paths:
+      - 'src/*'
+
+jobs:
+  build:
+    name: Check matched assembly files are deleted
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - run: ./tools/coverage.py --fail-matched-undeleted