Skip to main content

Browse the archive

Revision c98d5eb11c8a8a9449c20a07a66b9e070a0f77b6 authored by Pietro on 21 April 2020, 14:38:43 UTC, committed by Pierre Boutillier on 28 April 2020, 18:02:34 UTC 
ci: add _build cache and nomadic-labs tag
1 parent 39546b2
Raw File
dune-project 
(lang dune 1.11)

; 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