Skip to content

ci: pin merged Persistra compatibility - #114

Merged
fallblu merged 1 commit into
developfrom
ci/stabilize-compatibility-pin
Aug 26, 2026
Merged

ci: pin merged Persistra compatibility#114
fallblu merged 1 commit into
developfrom
ci/stabilize-compatibility-pin

Conversation

@fallblu

@fallblu fallblu commented Aug 26, 2026

Copy link
Copy Markdown
Owner

Summary

  • pin compatibility CI to the permanent merged Persistra develop commit
  • keep the repository metadata assertion aligned with the workflow

Test plan

  • make check

@fallblu
fallblu merged commit ec91aeb into develop Aug 26, 2026
17 of 18 checks passed
@fallblu
fallblu deleted the ci/stabilize-compatibility-pin branch August 26, 2026 19:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant