diff --git a/.github/workflows/build_make.yml b/.github/workflows/build_make.yml index acd7b18e3f..8faf62db1c 100644 --- a/.github/workflows/build_make.yml +++ b/.github/workflows/build_make.yml @@ -60,9 +60,6 @@ jobs: - name: opam install deps run: opam install ./*.opam --deps-only - - name: test - run: opam list - # make use `dune build` which update .opam file if the dune-project is updated - name: Make run: opam exec -- make