Create check.yml

.github/workflows/check.yml

@@ -0,0 +1,23 @@
+name: check
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+  workflow_dispatch:
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Get the Arend jar
+        uses: dsaltares/[email protected]
+        with:
+          repo: JetBrains/Arend
+          file: Arend.jar
+      - uses: actions/[email protected]
+        with:
+          java-version: 17
+      - name: run checker
+        run: java -jar Arend.jar .