File tree Expand file tree Collapse file tree 2 files changed +31
-1
lines changed Expand file tree Collapse file tree 2 files changed +31
-1
lines changed Original file line number Diff line number Diff line change 1+ name : Build
2+
3+ on : [push, pull_request]
4+
5+ jobs :
6+ build :
7+ runs-on : ubuntu-18.04
8+ env :
9+ GF_VERSION : 3.10-1
10+ DEST : out/
11+
12+ steps :
13+ - uses : actions/checkout@v2
14+
15+ - name : Install GF
16+ run : |
17+ curl -s https://www.grammaticalframework.org/download/gf_${GF_VERSION}_amd64.deb -o gf.deb
18+ sudo dpkg -i gf.deb
19+
20+ - name : Build RGL
21+ run : |
22+ mkdir -p ${DEST}
23+ bash Setup.sh --dest=${DEST} --gf=gf --verbose
24+
25+ - name : Upload artifact
26+ uses : actions/upload-artifact@v2
27+ with :
28+ name : gf-rgl-${{ github.sha }}
29+ path : ${{ env.DEST }}
30+ if-no-files-found : error
Original file line number Diff line number Diff line change 9797
9898# Copy
9999echo " Copying to ${dest} "
100- cp -R -p " ${dist} " /* " ${dest} "
100+ cp -R " ${dist} " /* " ${dest} "
You can’t perform that action at this time.
0 commit comments