pl/logical-foundations
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

create builds.yml

Browse source
This commit is contained in:
Michael Zhang 2020-06-04 04:24:56 -05:00
parent 4623e58de2
commit f83982ca88
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.builds.yml Normal file
View file

@ -0,0 +1,11 @@
image: archlinux
packages:
- opam
sources:
- https://git.sr.ht/~iptq/logical-foundations
tasks:
- setup: |
opam install coq=8.8.1
- build: |
cd logical-foundations
make