Skip to content

Commit

Permalink
Attempt to fix command in MacOS
Browse files Browse the repository at this point in the history
  • Loading branch information
mbarbin committed Dec 16, 2024
1 parent f90ec63 commit 84638d8
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/more-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +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
run: sed -i '/(implicit_transitive_deps false)/d' dune-project
run: |
sed -i.bak '/(implicit_transitive_deps false)/d' dune-project
rm dune-project.bak
# 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 84638d8

Please sign in to comment.