Skip to content

Commit ced07ac

Browse files
committed
cirrus: two workers: one with 4.11 using 12.1, one with 4.10 using 13.0
1 parent 2cbcb59 commit ced07ac

File tree

1 file changed

+18
-9
lines changed

1 file changed

+18
-9
lines changed

Diff for: .cirrus.yml

+18-9
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,23 @@
1-
freebsd_instance:
2-
image_family: freebsd-12-1
3-
4-
freebsd_task:
5-
env:
6-
matrix:
7-
- OCAML_VERSION: 4.10.1
8-
- OCAML_VERSION: 4.11.1
1+
pkg_install_task_template: &PKG_INSTALL_TASK_TEMPLATE
92
pkg_install_script: pkg install -y ocaml-opam gmp gmake pkgconf bash
10-
ocaml_script: opam init -a --comp=$OCAML_VERSION
3+
4+
task:
5+
<< : *PKG_INSTALL_TASK_TEMPLATE
6+
ocaml_script: opam init -a --comp=4.11.1
117
dependencies_script: eval `opam env` && opam install -y --deps-only .
128
build_script: eval `opam env` && dune build @install
139
test_script: eval `opam env` && opam install -y -t --deps-only . && dune build @runtest
1410
test_mirage_script: eval `opam env` && opam install -y solo5-bindings-hvt zarith-freestanding opam-depext && opam pin add -y . && ./.test-mirage.sh
11+
name: FreeBSD 12.1
12+
freebsd_instance:
13+
image_family: freebsd-12-1
14+
15+
task:
16+
<< : *PKG_INSTALL_TASK_TEMPLATE
17+
ocaml_script: opam init -a --comp=4.10.2
18+
dependencies_script: eval `opam env` && opam pin add -n mirage-crypto.dev . && opam pin add -n mirage-crypto-rng.dev . && opam pin add -n mirage-crypto-pk.dev . && opam pin add -y mirage-crypto-ec.dev . && opam install -t --deps-only mirage-crypto mirage-crypto-rng mirage-crypto-pk mirage-crypto-ec
19+
build_script: eval `opam env` && opam exec -- dune build -p mirage-crypto,mirage-crypto-rng,mirage-crypto-pk,mirage-crypto-ec
20+
test_script: eval `opam env` && opam exec -- dune runtest -p mirage-crypto,mirage-crypto-rng,mirage-crypto-pk,mirage-crypto-ec
21+
name: FreeBSD 13
22+
freebsd_instance:
23+
image_family: freebsd-13-0-snap

0 commit comments

Comments
 (0)