2020-08-19 02:53:24 +02:00
|
|
|
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
|
2020-08-20 18:06:48 +02:00
|
|
|
- run: ./coverage.py --fail-matched-undeleted
|
