Remove .github/

After moving the repository from github, we no longer need the
.github/ folder

Change-Id: I217caebc1b59a7394cdc54110afd75138f490238
This commit is contained in:
Jaromír Wysoglad
2023-10-12 11:54:57 +02:00
parent 26687730b3
commit 305a10397c

View File

@@ -1,23 +0,0 @@
name: unit_tests
on:
pull_request:
jobs:
test:
runs-on: ubuntu-22.04
timeout-minutes: 30
strategy:
matrix:
env:
- pep8
- py39
- py311
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Install dependencies
run: ./tools/install_deps.sh
- name: Run tox
run: tox -e ${{ matrix.env }}