Sakamoto Noriaki

Hmm, the CI failed due to filter variable `with-dev-setup` of `ambient-context.0.1.0` (introduced with https://github.com/ocaml/opam-repository/pull/24484). What is it? ``` + opam install --dry-run --json=opam-output.json --cli=2.1 --update-invariant --with-test satysfi-base.1.6.0 --strict [ERROR] undefined...

Thank you for your investigation! I don't remember why I added `--strict` option there. Well, we have experienced the same issue before (https://github.com/ocaml/opam-repository/pull/21959#discussion_r943873612). Let me disable the option again..

Let me retrigger the CI with reopening this PR.

It looks like `satysfi-easytable-doc` fails with internal error and `satysfi-azmath-doc` fails with stack overflow :cry: https://github.com/na4zagin3/satyrographos-repo/actions/runs/6328553792/job/17186978847?pr=653#step:14:1566

Let's try with SATySFi 0.0.10. /rebase

/rebase

The custom SATySFi implementation can have version `0.0.0+konn+dev2018.06.22`.

Idea: Add `X-Satyrographos-Snapshots: [ ... ]` to each opam file.