mirror of
https://github.com/ocaml-tracing/ocaml-opentelemetry.git
synced 2026-03-07 18:37:56 -05:00
CI: remove gh-pages, add format
This commit is contained in:
parent
cb53b54b00
commit
7cc0ee1701
3 changed files with 33 additions and 38 deletions
30
.github/workflows/format.yml
vendored
Normal file
30
.github/workflows/format.yml
vendored
Normal file
|
|
@ -0,0 +1,30 @@
|
|||
|
||||
|
||||
name: format
|
||||
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
pull_request:
|
||||
|
||||
jobs:
|
||||
format:
|
||||
name: format
|
||||
strategy:
|
||||
matrix:
|
||||
ocaml-compiler:
|
||||
- '5.3'
|
||||
runs-on: 'ubuntu-latest'
|
||||
steps:
|
||||
- uses: actions/checkout@main
|
||||
- name: Use OCaml ${{ matrix.ocaml-compiler }}
|
||||
uses: ocaml/setup-ocaml@v3
|
||||
with:
|
||||
ocaml-compiler: ${{ matrix.ocaml-compiler }}
|
||||
dune-cache: true
|
||||
allow-prerelease-opam: true
|
||||
|
||||
- run: opam install ocamlformat.0.27.0
|
||||
- run: opam exec -- make format-check
|
||||
|
||||
38
.github/workflows/gh-pages.yml
vendored
38
.github/workflows/gh-pages.yml
vendored
|
|
@ -1,38 +0,0 @@
|
|||
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-lwt opentelemetry-client-ocurl opentelemetry-cohttp-lwt
|
||||
|
||||
- name: Build
|
||||
run: opam exec -- odig odoc --cache-dir=_doc/ opentelemetry opentelemetry-lwt opentelemetry-client-ocurl opentelemetry-cohttp-lwt
|
||||
|
||||
- name: Deploy
|
||||
uses: peaceiris/actions-gh-pages@v3
|
||||
with:
|
||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
publish_dir: ./_doc/html
|
||||
enable_jekyll: false
|
||||
3
Makefile
3
Makefile
|
|
@ -26,6 +26,9 @@ odig-doc:
|
|||
format:
|
||||
@dune build @fmt --auto-promote
|
||||
|
||||
format-check:
|
||||
@dune build $(DUNE_OPTS) @fmt --display=quiet
|
||||
|
||||
WATCH ?= @all
|
||||
watch:
|
||||
@dune build $(WATCH) -w $(OPTS)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue