From b376d000ba1e9150e31d7cd4bcec304ba0fdcae8 Mon Sep 17 00:00:00 2001 From: rina Date: Wed, 24 Jul 2024 15:09:26 +1000 Subject: [PATCH] install ninja --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 21330599..38f4d39c 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -72,7 +72,7 @@ jobs: with: python-version: '3.11' - - run: python -m pip install 'meson~=1.4.0' + - run: python -m pip install 'meson~=1.4.0' 'ninja' - run: dune build --profile release - run: echo ':gen A64 .* cpp' | OCAMLRUNPARAM=b dune exec asli