From aa6c6c2f508ba309e7510a6fb63830bd00927f12 Mon Sep 17 00:00:00 2001
From: Timothy Earley <timmy@earley.de>
Date: Tue, 12 Nov 2024 19:45:19 +0100
Subject: [PATCH] Create check.yml

---
 .github/workflows/check.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/check.yml

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
new file mode 100644
index 0000000..8f8abec
--- /dev/null
+++ b/.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/fetch-gh-release-asset@1.1.2
+        with:
+          repo: JetBrains/Arend
+          file: Arend.jar
+      - uses: actions/setup-java@v4.5.0
+        with:
+          java-version: 17
+      - name: run checker
+        run: java -jar Arend.jar .