Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by LĂ©lio Brun over 2 years ago

disable tests in gitlab CI

View differences:

dune
1 1
; too bad dune does not support glob in install stanza
2 2
; (see https://discuss.ocaml.org/t/installing-many-files-with-dune/4143)
3 3
; TODO: open an issue?
4

  
5 4
(install
6 5
 (section (site (lustrec include_)))
7 6
 (files

Also available in: Unified diff