diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..61cfc52
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,24 @@
+on: 
+  pull_request:
+  workflow_dispatch:
+
+name: CI
+
+jobs:
+  update_lean_xyz_branch_and_build:
+    runs-on: ubuntu-latest
+    name: Update lean-x.y.z branch and build project
+    steps:
+
+    - name: checkout project
+      uses: actions/checkout@v2
+      with:
+        fetch-depth: 0
+
+    - name: update branch
+      if: github.ref == 'refs/heads/master'
+      uses: leanprover-contrib/update-versions-action@master
+
+    - name: build project
+      uses: leanprover-contrib/lean-build-action@master
+