diff --git a/.github/workflows/deploy_docker.yml b/.github/workflows/deploy_docker.yml index 96d85b552..1f94a39a9 100644 --- a/.github/workflows/deploy_docker.yml +++ b/.github/workflows/deploy_docker.yml @@ -3,7 +3,8 @@ name: Deploy docker (arm64v8) on: push: branches: - - 'main' + #- 'main' + - 'abc' jobs: docker: diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4f8a8b15e..0fea03b9d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -46,6 +46,11 @@ jobs: opam exec -- dune build @doc cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js + - name: inspect + run: | + ls _build/default/_doc/_html/owl/Owl + ls _build/default/_doc/_html/owl/Owl_fft/ + - name: Deploy uses: peaceiris/actions-gh-pages@v3 with: