forked from yforster/run-autosubst
-
Notifications
You must be signed in to change notification settings - Fork 0
40 lines (37 loc) · 1.28 KB
/
main.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
name: CI
on: [push, pull_request]
jobs:
build-matrix:
runs-on: ubuntu-latest
strategy:
matrix:
image:
- 'coqorg/coq:8.14.1-ocaml-4.14.1-flambda'
steps:
- name: Checkout code
uses: actions/checkout@v3
with:
submodules: true
- name: Run autosubst
uses: coq-community/docker-coq-action@v1
with:
custom_image: ${{ matrix.image }}
opam_file: ${{ matrix.opam_file }}
before_script: |
startGroup "fix permission issue"
sudo chown -R coq:coq .
endGroup
script: |
startGroup "install autosubst"
opam pin -y coq-autosubst-ocaml "https://github.com/uds-psl/autosubst-ocaml.git#coq-8.14"
endGroup
after_script: |
startGroup "Run benchmarks"
ls *.sig | xargs -i{} basename {} .sig | xargs -i{} autosubst {}.sig -o {}.v -f -no-static -allfv -fext
ls *.sig | xargs -i{} basename {} .sig | xargs -i{} autosubst {}.sig -o {}_scoped.v -f -no-static -allfv -fext -s coeq
endGroup
- uses: actions/upload-artifact@v4
with:
# A file, directory or wildcard pattern that describes what to upload
# Required.
path: "*.v"