From 59158909e01823d36abc8009920cc8d5939b7d63 Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Thu, 11 Jul 2024 15:21:18 +0200 Subject: [PATCH] Enabled both targets in github workflow --- .github/workflows/blank.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 182eeac7e..abad2b3cc 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -12,7 +12,7 @@ jobs: fail-fast: false matrix: os: - # - ubuntu-latest + - ubuntu-latest - macos-latest ocaml-compiler: - 4.13.1