From 8ebc582a00ed08139a6a036fcee8bc1477676970 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 6 Apr 2026 09:25:38 -0400 Subject: [PATCH] add gh-pages back (!) --- .github/workflows/gh-pages.yml | 38 ++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 .github/workflows/gh-pages.yml diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml new file mode 100644 index 00000000..a7c05904 --- /dev/null +++ b/.github/workflows/gh-pages.yml @@ -0,0 +1,38 @@ +name: github pages + +on: + push: + branches: + - main + +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@main + + # needed for depext to work + - run: sudo apt-get update && sudo apt-get install mccs + + - uses: ocaml/setup-ocaml@v3 + with: + ocaml-compiler: '5.1.x' + dune-cache: true + allow-prerelease-opam: true + + - run: | + opam pin trace https://github.com/ocaml-tracing/ocaml-trace.git#main -y -n + opam pin https://github.com/ocaml-tracing/ambient-context.git#main -y -n + + - name: Deps + run: opam install odig opentelemetry opentelemetry-client opentelemetry-lwt opentelemetry-cohttp opentelemetry-client-ocurl opentelemetry-client-ocurl-lwt opentelemetry-cohttp-lwt opentelemetry-cohttp-eio + + - name: Build + run: opam exec -- odig odoc --cache-dir=_doc/ opentelemetry opentelemetry-client opentelemetry-lwt opentelemetry-cohttp opentelemetry-client-ocurl opentelemetry-client-ocurl-lwt opentelemetry-cohttp-lwt opentelemetry-cohttp-eio + + - name: Deploy + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./_doc/html + enable_jekyll: false