Skip to content

Commit

Permalink
make lint-doc non fatal until odoc is fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Feb 17, 2024
1 parent d046b7e commit b8d28a5
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -63,8 +63,8 @@ jobs:
opam exec -- dune runtest
- name: lint-doc
run: |
ODOC_WARN_ERROR=true opam exec -- dune build @doc 2> output.txt
$(exit $(wc -l output.txt | cut -d " " -f1))
ODOC_WARN_ERROR=true opam exec -- dune build @doc 2> output.txt || true
# $(exit $(wc -l output.txt | cut -d " " -f1))
- name: lint-fmt
run: |
opam exec -- dune build @fmt || (echo "\n⚠️ please run \`dune fmt\` and try again" && exit 1)

0 comments on commit b8d28a5

Please sign in to comment.