github CI
commit5cf5a027cc218bc914d0ae24f3f1752d6c63e4b0
authorJames Brock <jamesbrock@gmail.com>
dateMon 27 Jul 2020, 13:31 (6 years ago)
parentc89738b
.github/workflows/push-build.ymlnew file+16
@@ -0,0 +1,16 @@
1+name: CI
2+
3+on: [push]
4+
5+jobs:
6+ build:
7+
8+ runs-on: ubuntu-latest
9+
10+ steps:
11+ - uses: actions/checkout@v2
12+ - uses: actions/setup-node@v1
13+ - run: npm install -g spago
14+ - name: build
15+ run: |
16+ spago -x test.dhall test