Github Actions added (#124).

2026-07-21 17:35:38 +02:00 · 2020-11-11 17:38:36 +01:00
parent 227f6c8b30
commit 3d270f65c3
1 changed files with 13 additions and 0 deletions
@@ -0,0 +1,13 @@
 name: ci
 on: [push, pull_request]
 jobs:
  build:
    runs-on: ubuntu-latest
    name: Check
    steps:
      - name: Checkout
        uses: actions/checkout@master
      - name: Check
        run: ./check.sh