From b6490f5070ae48bd42278e91fdc2e6a8b8ec7c97 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Mon, 16 Dec 2024 12:31:39 +0100 Subject: [PATCH] Another attempt at being cross-platform compatible --- .github/workflows/more-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/more-ci.yml b/.github/workflows/more-ci.yml index 02a84f8..facf66d 100644 --- a/.github/workflows/more-ci.yml +++ b/.github/workflows/more-ci.yml @@ -59,9 +59,9 @@ jobs: # we already check the build with this option in the main CI job, we # disable it here unconditionally for simplicity. - name: Edit dune-project + shell: pwsh run: | - sed -i.bak '/(implicit_transitive_deps false)/d' dune-project - rm dune-project.bak + (Get-Content dune-project) -notmatch '\(implicit_transitive_deps false\)' | Set-Content dune-project # We build and run tests for a subset of packages. More tests are run in # the development workflow and as part of the main CI job. These are the