Merge pull request #141 into master

This commit is contained in:
TheCharlatan 2021-04-11 10:53:52 +02:00
commit e06add9391
No known key found for this signature in database
GPG key ID: 9B79B45691DB4173
2 changed files with 12 additions and 7 deletions

12
.github/workflows/verify-merge.yml vendored Normal file
View file

@ -0,0 +1,12 @@
name: ci/gh-actions/verify-merge
on: [push, pull_request]
jobs:
verify-merge:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v1
- name: verify-merge
run: python3 ./verify-merge.py --import-keys

View file

@ -1,7 +0,0 @@
language: python
python:
- "3.7.0"
script:
- python ./verify-merge.py --import-keys