Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by LĂ©lio Brun over 2 years ago

disable tests in gitlab CI

View differences:

src/version.ml
1
let number = "%%VERSION%%"
1
let number = "@PACKAGE_VERSION@-@GITBRANCH@"
2 2

  
3
let codename () =
4
  match "%%VERSION_NUM%%" with
5
  | "1.7" -> "Xia/Huai-dev"
6
  | _ -> "dev"
3
let codename ="@VERSION_CODENAME@"
7 4

  
8 5
let include_path = Sites.Sites.include_ |> List.hd
9 6
let testgen_path = Sites.Sites.testgen |> List.hd

Also available in: Unified diff