Skip to content

Commit

Permalink
Another attempt at being cross-platform compatible
Browse files Browse the repository at this point in the history
  • Loading branch information
mbarbin committed Dec 16, 2024
1 parent 84638d8 commit b6490f5
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/more-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit b6490f5

Please sign in to comment.