Add CI config

Author: Aleksandar Vracarevic

.github/workflows/gate.yml

@@ -0,0 +1,11 @@
+name: gate
+on: [push, pull_request]
+
+jobs:
+  gate:
+    name: Gate
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+    - run: bash <( wget -qO- https://raw.githubusercontent.com/MATF-Software-Verification/VS-project-ci/main/gate )
+  

.github/workflows/tickets.yml

@@ -0,0 +1,20 @@
+name: tickets
+on: [push, issues]
+
+jobs:
+  tickets:
+    name: Tickets
+    runs-on: ubuntu-latest
+    steps:
+      - name: Tickets
+        id: tickets
+        uses: lee-dohm/select-matching-issues@v1
+        with:
+          format: raw
+          query: 'is:open'
+          token: ${{ github.token }}
+      - name: Report issues
+        run: |
+          echo "=== Open issues ===" 
+          grep 'http' ${{ steps.tickets.outputs.path }} && exit 1 || exit 0
+