michael/agdaup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update

Browse source
This commit is contained in:
Michael Zhang 2024-09-06 19:31:15 +02:00
parent 51ab771699
commit 01c8af250a
3 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.github/workflows/build.yml vendored
View file

@ -16,6 +16,11 @@ jobs:
with: with:
ghc-version: 9.8.2 ghc-version: 9.8.2
cabal-version: 3.10.3.0 cabal-version: 3.10.3.0
- run: mkdir -p installdir
- name: Install Agda - name: Install Agda
run: cabal install Agda 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

2
Dockerfile Normal file
View file

@ -0,0 +1,2 @@
FROM ubuntu:latest

3
docker-compose.yml Normal file
View file

@ -0,0 +1,3 @@
services:
dev:
build: .