search

na4zagin3 / satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos
Creative Commons Zero v1.0 Universal
18 stars 17 forks source link

Package satysfi-base.1.6.0 #653

Open zeptometer opened 10 months ago

zeptometer commented 10 months ago

Automatic follow-ups

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

github-actions[bot] commented 10 months ago

🎉🎉🎉 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 commented 10 months ago

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 commented 10 months ago

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

zeptometer commented 10 months ago

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 commented 10 months ago

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] commented 10 months ago

🎉🎉🎉 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 commented 10 months ago

Let me retrigger the CI with reopening this PR.

github-actions[bot] commented 10 months ago

🎉🎉🎉 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] commented 10 months ago

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

na4zagin3 commented 10 months ago

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] commented 10 months ago

🎉🎉🎉 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] commented 10 months ago

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

github-actions[bot] commented 9 months ago

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

na4zagin3 commented 9 months ago

Let's try with SATySFi 0.0.10.

/rebase

na4zagin3 commented 9 months ago

/rebase

github-actions[bot] commented 9 months ago

Rebase failed! See the execution logs.