Merge pull request #93 from sneeuwballen/simon/better-locs-in-config

improve locations in config, notifications, web UI

Author: c-cube

.github/workflows/main.yml

@@ -32,7 +32,7 @@ jobs:
       - run: opam pin .#HEAD -y -n
       - run: opam install -t . --deps-only
       - run: opam exec -- dune build @all --ignore-promoted-rules
-      - run: opam exec -- dune runtest -p benchpress
+      - run: opam exec -- dune runtest -p benchpress-proto,benchpress
       # API integration tests: only on 5.4 (behaviour, not OCaml-version-sensitive)
       - if: matrix.container == 'ghcr.io/c-cube/c-cube-commmon/ci-5.4:latest'
         name: Run API integration tests

api/.ocamlformat-ignore

@@ -1,2 +1,2 @@
-benchpress_api.ml
-benchpress_api.mli
+benchpress_proto.ml
+benchpress_proto.mli