Read the workflow list at the head that carries the new leg - #174
Merged
Conversation
The parity table pastes what this repository runs today, and a satisfied row added under #81 named a workflow file that paste did not list. The row and the reading inside one document disagreed, which is worse than either being stale on its own, because the table is what a reader compares a run against. The reading is re-run at the head that carries the leg and re-stamped with it. The paragraph above it names this as the third row to move from naming a plan to naming a run, and says why this half could not land in the same change as the row: the command reads the default branch, so it answers with the new file only after the merge. Refs #81 Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
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
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.
The issue this belongs to
Refs #81. It does not close it: what that issue still holds is the analysis over
the core's own language, which waits on #11, and an upload to the code-scanning
surface.
What changed
docs/gate-parity.mdpastes a reading of what this repository runs today, and itis what a
satisfiedrow points at. The row added under #81 names.github/workflows/shell-analysis.yml, and that paste did not list it, so a rowand a reading inside one document disagreed.
The reading is re-run at the head that carries the leg and re-stamped with that
commit. The paragraph above it names this as the third row to move from naming a
plan to naming a run, and says why this half could not land in the same change as
the row.
What failure it prevents
The table is what a reader compares a run against. A row saying a check runs here
and a reading two paragraphs above it that does not list the file are worse
together than either would be alone: the reader cannot tell which of the two is
stale, so neither is usable, and the table's whole value is that a verdict can be
checked against a command.
Evidence
The reading and its stamp, before this change:
What the same command answers now:
The document check passes on this branch:
What this does not cover
WHY THIS IS A SECOND PULL REQUEST ON ONE ISSUE, stated rather than left to be
noticed. The command in that paste reads the default branch through the API, so it
answers with the new file only after the merge that adds it. The file says as much
about the two rows that moved before this one, and both of those repairs came
after their merge for the same reason. Landing it inside the first change would
have meant pasting output the command did not produce.
NOT REFRESHED: the other pasted reading in that file, of the workflow files on the
gate this table is measured against. Nothing in this change touches that
repository, so its stamp still says what it said.
NOT COVERED: no mechanism. Nothing in this tree compares a pasted reading against
the thing it read, so the next row to land will drift in the same way and be
repaired by hand again.
Who has read it
Nobody but me. There is no second reader on this board tonight, and the commands
above and the checks on this pull request stand in place of one rather than the
question being left open.