diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9b6612d..5f53135 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -16,6 +16,11 @@ jobs:
         with:
           ghc-version: 9.8.2
           cabal-version: 3.10.3.0
+      - run: mkdir -p installdir
       - name: Install Agda
-        run: cabal install Agda
-      - 
\ No newline at end of file
+        run: cabal install --installdir installdir Agda
+      - run: tar cvf agda.tar.gz -C "$(dirname $(dirname $(realpath installdir/agda)))" .
+      - uses: actions/upload-artifact@v4
+        with:
+          name: agda.tar.gz
+          path: agda.tar.gz
\ No newline at end of file
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..d567fa9
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,2 @@
+FROM ubuntu:latest
+
diff --git a/docker-compose.yml b/docker-compose.yml
new file mode 100644
index 0000000..38bc320
--- /dev/null
+++ b/docker-compose.yml
@@ -0,0 +1,3 @@
+services:
+  dev:
+    build: .
\ No newline at end of file