Validate the standard's example lattices in CI - #89
Open
ax3l wants to merge 2 commits into
Open
Conversation
Member
Author
ax3l
commented
Jul 30, 2026
ax3l
force-pushed
the
standard-examples-ci
branch
from
July 30, 2026 18:55
324df0c to
358ecd7
Compare
Add a `standard_examples` GitHub workflow that checks out the examples corpus of `pals-project/pals` and validates every lattice with the public C API of `pals-cpp`: each `*.pals.yaml` is discovered automatically and must expand with zero problems to a non-empty lattice. A small manifest lists only the exceptions (its header documents the format); `*.subpals.yaml` include fragments and files named in another file's `load` list are exempted automatically, the latter being checked through their joiner. The standard is checked out at a pinned commit (`tests/pals_standard_ref.txt`) so changes to it cannot break unrelated PRs. A `weekly_update` GitHub workflow, modeled on WarpX's, bumps the commit pin to the current pals `main` in a controlled PR of its own. If that PR breaks, additional commits can be added to it by `pals-cpp` developers, at their own time, to address the drift between PALS spec/tests and implementation in `pals-cpp`. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
ax3l
force-pushed
the
standard-examples-ci
branch
from
July 30, 2026 18:56
358ecd7 to
2baaee8
Compare
Member
Author
|
@DavidSagan @Alexheeeee ready for merge :) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Add a
standard_examplesGitHub workflow that checks out the examples corpus ofpals-project/palsand validates every lattice with the public C API ofpals-cpp:each
*.pals.yamlis discovered automatically and must expand with zero problems to a non-empty lattice. A small manifest lists only the exceptions (its header documents the format);*.subpals.yamlinclude fragments and files named in another file'sloadlist are exempted automatically, the latter being checked through their joiner.The standard is checked out at a pinned commit (
tests/pals_standard_ref.txt) so changes to it cannot break unrelated PRs. Aweekly_updateGitHub workflow, modeled on WarpX's, bumps the commit pin to the current palsmainin a controlled PR of its own. If that PR breaks, additional commits can be added to it bypals-cppdevelopers, at their own time, to address the drift between PALS spec/tests and implementation inpals-cpp.