From 01c8af250af11a33d5e9b2c07cccd743059da6f4 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 6 Sep 2024 19:31:15 +0200 Subject: [PATCH] update --- .github/workflows/build.yml | 9 +++++++-- Dockerfile | 2 ++ docker-compose.yml | 3 +++ 3 files changed, 12 insertions(+), 2 deletions(-) create mode 100644 Dockerfile create mode 100644 docker-compose.yml 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