We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5c8df81 commit 45c6adcCopy full SHA for 45c6adc
1 file changed
.github/workflows/actions.yml
@@ -46,15 +46,15 @@ jobs:
46
make requirements
47
make
48
- name: Build FPTaylor
49
- run: make
+ run: opam exec -- make
50
- name: Run basic tests
51
run: |
52
grep opt -C 3 default.cfg
53
- make test
+ opam exec -- make test
54
- name: Run basic tests with gelpia
55
56
sed -i "s|^opt = bb|opt = gelpia|g" default.cfg
57
58
- name: Regression tests
59
60
cd scripts
0 commit comments