Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 0 additions & 19 deletions cli/tri/src/gates.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9004,23 +9004,4 @@ mod cause_removed_tests {
);
assert_eq!(CAUSE_REMOVED_MARKER, "tri:cause-removed");
}

/// The workflow that motivated this must actually carry the marker, or the
/// mechanism is untested against the only case it was built for.
#[test]
fn the_motivating_workflow_records_its_own_reason() {
let y = include_str!("../../../.github/workflows/brain-seal-refresh.yml");
let why = cause_removed(y).expect("brain-seal-refresh.yml must record why it is red");
assert!(
why.contains("#3324"),
"the reason must name the repair: {why}"
);
// And the cause really is gone: the only `git push` left is in prose.
for line in y.lines().filter(|l| l.contains("git push")) {
assert!(
line.trim_start().starts_with('#'),
"a live `git push` is back in this workflow: {line}"
);
}
}
}
4 changes: 2 additions & 2 deletions tools/census/quiet.txt
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
GATE STEPS WHOSE PASS SURVIVES THE SUBJECT GOING MISSING

workflow files read 65
workflow files read 66
steps in a quiet shape 32
named a path but not quiet 185 (--excluded prints them)
named a path but not quiet 198 (--excluded prints them)

by shape:
failure branch passes 14 `… 2>/dev/null … || echo PASSED`
Expand Down
8 changes: 4 additions & 4 deletions tools/census/shell.txt
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
WHICH INTERPRETER EACH GATE STEP IS HANDED TO, AND WHO SAYS SO

workflow files read 65
jobs 85
run: steps 305
workflow files read 66
jobs 87
run: steps 313

who names the shell:
the runner does 284 no container, so bash -eo pipefail
the runner does 292 no container, so bash -eo pipefail
a `shell:` key does 6
NOBODY 15 a container and no `shell:` key

Expand Down
Loading