ci: require matched asm files are deleted

2024-09-19 16:01:48 +02:00 · 2020-08-19 01:53:24 +01:00 · 2020-08-19 01:53:24 +01:00 · cc7cd275e6
commit cc7cd275e6
parent 85c16d932e
1 changed files with 13 additions and 0 deletions
--- a/.github/workflows/coverage.yaml
+++ 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