CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Don't clean

Browse Source
This commit is contained in:
Denis Merigoux 2022-02-03 15:41:34 +01:00
parent 81cf395a84
commit bc42cfc8db
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/build.yml vendored
View File

@ -42,6 +42,8 @@ jobs:
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
clean: false
- name: Make all
run: |
OCAMLRUNPARAM=b opam exec -- make all -B