Package satysfi-base.1.6.0

[zeptometer]

Automatic follow-ups

Choose follow-up actions. Do not write anything after this section.

• Add to snapshot snapshot-develop
• ~~Add to snapshot snapshot-stable-0-0-4~~ (Inconsistent)
• Add to snapshot snapshot-stable-0-0-5
• Add to snapshot snapshot-stable-0-0-6
• Add to snapshot snapshot-stable-0-0-6--1
• Add to snapshot snapshot-stable-0-0-7
• Add to snapshot snapshot-stable-0-0-8

[github-actions[bot]]

🎉🎉🎉 Thank you for sending a PR!

If this PR is to add new or updated SATySFi libraries, I would like you to include your new library in the package snapshots, by following the instructions below.

After the CI passes, choose “automatic follow-up” options to add your libraries to add snapshots. Please leave a comment in case you don't want.

Notes: I recommend adding your libraries to the snapshot with the latest develop version as well if your library supports the latest stable version, because the snapshot with the latest develop version will be the snapshot with the the comming SATySFi stable version.

Thanks!

[na4zagin3]

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 filter variable in dependencies of ambient-context.0.1.0: with-dev-setup

[zeptometer]

well, I have a little idea 🤔 Let's see if we can fix from our side

[zeptometer]

This discussion might be relevant. https://discuss.ocaml.org/t/can-a-bad-package-that-im-not-using-in-opam-repository-break-my-build/10297 Do we want to create a separate issue for investigation?

(added) it seems it's an issue from ambient-context, and CI halted because opam is run with --strict option. Removing --strict option looks like a workaround.

Note that, by default, opam is set not to bother the user with any error related to repository packages (which likely don’t concern them) — but that behaviour is disabled by using --strict.

(added 2) with-dev-setup variable seems to be introduced for opam 2.2.0-alpha https://opam.ocaml.org/blog/opam-2-2-0-alpha/#Recommended-Development-Tools

[na4zagin3]

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..

[github-actions[bot]]

🎉🎉🎉 Thank you for sending a PR!

If this PR is to add new or updated SATySFi libraries, I would like you to include your new library in the package snapshots, by following the instructions below.

After the CI passes, choose “automatic follow-up” options to add your libraries to add snapshots. Please leave a comment in case you don't want.

Notes: I recommend adding your libraries to the snapshot with the latest develop version as well if your library supports the latest stable version, because the snapshot with the latest develop version will be the snapshot with the the comming SATySFi stable version.

Thanks!

[na4zagin3]

Let me retrigger the CI with reopening this PR.

[github-actions[bot]]

🎉🎉🎉 Thank you for sending a PR!

If this PR is to add new or updated SATySFi libraries, I would like you to include your new library in the package snapshots, by following the instructions below.

After the CI passes, choose “automatic follow-up” options to add your libraries to add snapshots. Please leave a comment in case you don't want.

Notes: I recommend adding your libraries to the snapshot with the latest develop version as well if your library supports the latest stable version, because the snapshot with the latest develop version will be the snapshot with the the comming SATySFi stable version.

Thanks!

[github-actions[bot]]

CI Summary

Matrix: stable-0-0-4; OCaml 4.06.1; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-base/satysfi-base.1.6.0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

[na4zagin3]

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

[github-actions[bot]]

🎉🎉🎉 Thank you for sending a PR!

If this PR is to add new or updated SATySFi libraries, I would like you to include your new library in the package snapshots, by following the instructions below.

After the CI passes, choose “automatic follow-up” options to add your libraries to add snapshots. Please leave a comment in case you don't want.

Notes: I recommend adding your libraries to the snapshot with the latest develop version as well if your library supports the latest stable version, because the snapshot with the latest develop version will be the snapshot with the the comming SATySFi stable version.

Thanks!

[github-actions[bot]]

CI Summary

Matrix: stable-0-0-4; OCaml 4.06.1; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-base/satysfi-base.1.6.0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

[github-actions[bot]]

CI Summary

Matrix: stable-0-0-4; OCaml 4.06.1; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-base/satysfi-base.1.6.0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

• satysfi-base.1.6.0: skipped: satysfi-dependency

[na4zagin3]

Let's try with SATySFi 0.0.10.

/rebase

[na4zagin3]

/rebase

[github-actions[bot]]

Rebase failed! See the execution logs.