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
18 changes: 14 additions & 4 deletions .github/lint/excluded-lints
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,20 @@
# retire it.
#
# THIS REGISTER IS EMPTY OF ENTRIES TODAY, AND THAT IS A FACT ABOUT THE TREE
# RATHER THAN ABOUT THE RULE. There is almost no code here yet, so nothing has
# had a chance to need an exclusion. The refusal above is proven by the fixtures
# in .github/lint/lint.sh rather than by anything in this file, which is the only
# way a rule with no live subject can be proven at all.
# RATHER THAN ABOUT THE RULE. Read at `a194071f3207d3903f6b40e27feef80aa1ad3d9a`,
# `src/` carries 46 files and 17,200 lines that are neither blank nor a whole-line
# comment, and no lint on them has needed an exclusion. The refusal above is
# proven by the fixtures in .github/lint/lint.sh rather than by anything in this
# file, which is the only way a rule with no live subject can be proven at all.
#
# THIS PARAGRAPH GAVE THE REASON AS "there is almost no code here yet", WHICH WAS
# TRUE WHEN IT WAS WRITTEN ON 2026-08-25 AND HAD STOPPED BEING TRUE. `src/` held
# nine files and 238 lines at the commit that wrote it. A reader met a reason they
# could discount, and an empty register with a discountable reason says nothing
# about the gate, while an empty one over the tree above says something. The
# reading is anchored to a commit now for the same reason that
# .github/codeql/excluded-rules anchors its own, so the next file to land does
# not make this paragraph wrong again. #406 is where it was found.
#
# The name is written the way the analyser writes it, `clippy::` and the lint,
# because that is the string the run passes back to the analyser and a second
Expand Down
17 changes: 14 additions & 3 deletions .github/thread-detector/suppressions
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,19 @@
# step with it.
#
# THIS REGISTER IS EMPTY OF ENTRIES TODAY, AND THAT IS A FACT ABOUT THE TREE
# RATHER THAN ABOUT THE RULE. The suite this leg runs holds no code that takes a
# lock or shares a value across threads yet, so nothing has had a chance to need
# an entry. The refusal above is proven by the fixtures in
# RATHER THAN ABOUT THE RULE. Read at `a194071f3207d3903f6b40e27feef80aa1ad3d9a`,
# seventeen files under `src/` and `tests/` take a lock, hold an atomic or spawn
# a thread, and the detector has reported nothing against them that needed
# suppressing. The refusal above is proven by the fixtures in
# .github/thread-detector/thread-detector.sh rather than by anything in this
# file, which is the only way a rule with no live subject can be proven at all.
#
# THIS PARAGRAPH GAVE THE REASON AS "the suite this leg runs holds no code that
# takes a lock or shares a value across threads yet", AND THAT NEVER HELD RATHER
# THAN HAVING STOPPED HOLDING. At the commit before the one that wrote it on
# 2026-08-26, src/measurement/mod.rs already declared a shared `AtomicU64` and its
# test module already took a `Mutex`, and the change that wrote this paragraph did
# not open that file. The two are different defects and this is the only place the
# distinction survives, so it is named rather than repaired into the other one.
# The reading is anchored to a commit for the same reason that
# .github/codeql/excluded-rules anchors its own. #406 is where it was found.
Loading