Skip to main content

Browse the archive

Revision 99538960de358aee9770c22eed807a7ba0d2cbfb authored by Danny Willems on 26 November 2020, 12:52:54 UTC, committed by Danny Willems on 26 November 2020, 12:52:54 UTC 
CI: add make in integration_python_definition for local gitlab-runner
1 parent f2d93c1
Raw File
dune-project 
(lang dune 2.0)
(formatting (enabled_for ocaml))

; dune-project files are automatically generated by dune but they are kept
; checked in the repository to allow building with Dune 2 seamlessly.
; If needed, they can be easily removed with: find . -name dune-project -delete
back to top