mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-10 05:03:59 -05:00
don't run tests in opam file
This commit is contained in:
parent
3d951db181
commit
317a7c73d9
1 changed files with 1 additions and 1 deletions
2
opam
2
opam
|
|
@ -4,7 +4,7 @@ version: "0.1"
|
|||
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
|
||||
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
|
||||
build: [
|
||||
[make "all"]
|
||||
[make "lib"]
|
||||
]
|
||||
install: [
|
||||
[make "install"]
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue