From f9be0fd35d690614e28bf215c41bb7a6dfa3f9d7 Mon Sep 17 00:00:00 2001
From: Lukas Winkler <git@lw1.at>
Date: Sat, 12 Mar 2022 18:12:58 +0100
Subject: [PATCH] add github action

---
 .github/workflows/action.yaml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/action.yaml

diff --git a/.github/workflows/action.yaml b/.github/workflows/action.yaml
new file mode 100644
index 0000000..7fa1e04
--- /dev/null
+++ b/.github/workflows/action.yaml
@@ -0,0 +1,16 @@
+name: typecheck
+on: [push]
+jobs:
+  typecheck:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-python@v2
+        with:
+          python-version: '3.9'
+          architecture: 'x64'
+      - run: git clone https://github.com/hannorein/rebound rebound-src
+      - run: pip install mypy matplotlib
+      - run: pip install git+https://github.com/Findus23/retype.git@skip-setters
+      - run: retype -p rebound -t retyped/rebound rebound-src/rebound
+      - run: cd retyped && mypy rebound || true