Added initial CI workflow

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2021-02-12 23:46:46 +03:00
parent ba6a5382c8
commit 827e07522a
3 changed files with 53 additions and 0 deletions

View file

@ -21,6 +21,10 @@ build: [
]
install: [make "install"]
depexts: [
["gcc-multilib"] {os-family = "debian"}
]
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
url {
src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10"