michael
/
blog
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

docker shit
ci/woodpecker/push/woodpecker Pipeline failed Details

This commit is contained in:
Michael Zhang 2023-10-11 13:09:15 -05:00
parent 3935a8934c
commit 43a56c941a
3 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.dockerignore Normal file
View File

@ -0,0 +1 @@
*

3
.gitignore vendored
View File

@ -21,4 +21,5 @@ pnpm-debug.log*
.DS_Store
PragmataPro-Mono-Liga-Regular-Nerd-Font-Complete.woff2
*.agdai
*.agdai
_build

3
utils/agda.Dockerfile Normal file
View File

@ -0,0 +1,3 @@
FROM fpco/stack-build:lts-21
LABEL author="Ting-Gian LUA <banacorn@gmail.com>"
RUN stack --resolver=lts-21.13 install Agda-2.6.4 EdisonCore-1.3.2.1 data-hash-0.2.0.1 equivalence-0.3.4 geniplate-mirror-0.7.6 EdisonAPI-1.3.1 STMonadTrans-0.4.3