[Automated] Update develop snapshot #670

satyrographos-repo-gh-action · 2023-10-23T15:57:08Z

Update develop snapshot

Automatic follow-ups

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

~~Add to snapshot snapshot-develop~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-10~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-4~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-5~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-6~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-6--1~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-7~~ (No updates)
~~Add to snapshot snapshot-stable-0-0-8~~ (No updates)

github-actions · 2023-10-23T15:57:22Z

🎉🎉🎉 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 · 2023-12-31T16:16:29Z

CI Summary

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

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: stable-0-0-8; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: stable-0-0-10; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: stable-0-0-7; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: develop; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: success
satysfi.0.0.10-2-g34bf0de0: success

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: success skip-oldest-deps
satysfi.0.0.10-2-g34bf0de0: success skip-oldest-deps

Matrix: stable-0-0-5; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: stable-0-0-6; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Matrix: stable-0-0-6--1; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.10-2-g34bf0de0/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.10-2-g34bf0de0/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.10-2-g34bf0de0: skipped: satysfi-dependency
satysfi.0.0.10-2-g34bf0de0: skipped: satysfi-dependency

github-actions · 2024-02-05T16:13:18Z

CI Summary

Matrix: stable-0-0-5; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Matrix: stable-0-0-6--1; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Matrix: stable-0-0-7; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Matrix: stable-0-0-8; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Matrix: stable-0-0-10; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

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

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Matrix: develop; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: success
satysfi.0.0.11: success

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: success skip-oldest-deps
satysfi.0.0.11: success skip-oldest-deps

Matrix: stable-0-0-6; OCaml 4.12.0; ubuntu-latest

OPAM Lint

/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi-dist/satysfi-dist.0.0.11/opam: Passed.
/home/runner/work/satyrographos-repo/satyrographos-repo/packages/satysfi/satysfi.0.0.11/opam: Passed.

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

Reverse deps

Succeeded packages

satysfi-dist.0.0.11: skipped: satysfi-dependency
satysfi.0.0.11: skipped: satysfi-dependency

satyrographos-repo-gh-action bot added the automated pr label Oct 23, 2023

satyrographos-repo-gh-action bot force-pushed the update-develop-snapshot branch from 7c81b9f to ea6c178 Compare October 23, 2023 15:57

satyrographos-repo-gh-action bot assigned na4zagin3 Oct 23, 2023

satyrographos-repo-gh-action bot requested a review from na4zagin3 October 23, 2023 15:57

satyrographos-repo-gh-action bot force-pushed the update-develop-snapshot branch from ea6c178 to 905f50c Compare October 25, 2023 15:57

satyrographos-repo-gh-action bot force-pushed the update-develop-snapshot branch from 905f50c to 9be1b63 Compare November 2, 2023 15:57

satyrographos-repo-gh-action bot force-pushed the update-develop-snapshot branch from 9be1b63 to e5ff4d9 Compare December 31, 2023 15:55

Update develop snapshots

dd6cc98

satyrographos-repo-gh-action bot force-pushed the update-develop-snapshot branch from e5ff4d9 to dd6cc98 Compare February 5, 2024 15:55

na4zagin3 approved these changes Feb 6, 2024

View reviewed changes

na4zagin3 merged commit f205f96 into master Feb 6, 2024
9 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[Automated] Update develop snapshot #670

[Automated] Update develop snapshot #670

satyrographos-repo-gh-action bot commented Oct 23, 2023 •

edited by github-actions bot

Loading

github-actions bot commented Oct 23, 2023

github-actions bot commented Dec 31, 2023

github-actions bot commented Feb 5, 2024

[Automated] Update develop snapshot #670

[Automated] Update develop snapshot #670

Conversation

satyrographos-repo-gh-action bot commented Oct 23, 2023 • edited by github-actions bot Loading

Automatic follow-ups

github-actions bot commented Oct 23, 2023

github-actions bot commented Dec 31, 2023

CI Summary

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

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-8; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-10; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-7; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: develop; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-5; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-6; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-6--1; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

github-actions bot commented Feb 5, 2024

CI Summary

Matrix: stable-0-0-5; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

Matrix: stable-0-0-6--1; OCaml 4.12.0; ubuntu-latest

OPAM Lint

Missing libraries in the snapshot

Snapshots and oldest deps

Succeeded packages

Reverse deps

Succeeded packages

satyrographos-repo-gh-action bot commented Oct 23, 2023 •

edited by github-actions bot

Loading