diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml new file mode 100644 index 0000000..6c03db8 --- /dev/null +++ b/.github/workflows/deploy-doc.yml @@ -0,0 +1,36 @@ +name: Run tests + +on: [push, pull_request] + +jobs: + + setup: + uses: ./.github/workflows/setup.yml + + deploy-doc: + runs-on: ubuntu-latest + + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + + permissions: + contents: read + id-token: write + pages: write + + steps: + - name: Build documentation + run: opam exec -- dune build @doc + + - name: Set-up Pages + uses: actions/configure-pages@v5 + + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 + with: + path: _build/default/_doc/_html + + - name: Deploy odoc to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 29eafb7..e857ca4 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -8,45 +8,11 @@ on: [push, pull_request] jobs: - unit-tests: + setup: uses: ./.github/workflows/setup.yml - runs-on: ubuntu-latest - steps: - - name: Run unit tests - run: opam exec -- dune runtest regression-tests: - uses: ./.github/workflows/setup.yml runs-on: ubuntu-latest steps: - name: Run regression tests run: python3 scripts/run_tests.py - - deploy-doc: - uses: ./.github/workflows/setup.yml - runs-on: ubuntu-latest - - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - - permissions: - contents: read - id-token: write - pages: write - - steps: - - name: Build documentation - run: opam exec -- dune build @doc - - - name: Set-up Pages - uses: actions/configure-pages@v5 - - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - path: _build/default/_doc/_html - - - name: Deploy odoc to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 diff --git a/.github/workflows/unit_tests.yml b/.github/workflows/unit_tests.yml new file mode 100644 index 0000000..5543fb4 --- /dev/null +++ b/.github/workflows/unit_tests.yml @@ -0,0 +1,14 @@ +name: Run tests + +on: [push, pull_request] + +jobs: + + setup: + uses: ./.github/workflows/setup.yml + + unit-tests: + runs-on: ubuntu-latest + steps: + - name: Run unit tests + run: opam exec -- dune runtest