Skip to content

test: clippy canary for 0013 (do not merge) - #6

Closed
oddurs wants to merge 1 commit into
mainfrom
test/0013-clippy-canary
Closed

oddurs wants to merge 1 commit into
mainfrom
test/0013-clippy-canary

Conversation

@oddurs

@oddurs oddurs commented Oct 3, 2026

Copy link
Copy Markdown
Owner

Negative test for cairn item 0013, criterion 2: this branch adds a needless_return that rustc accepts and clippy rejects. CI must fail. Closed and deleted once the run is recorded.

@oddurs

oddurs commented Oct 3, 2026

Copy link
Copy Markdown
Owner Author

Recorded as evidence for 0013 criterion 2: run 37085900711 failed in check on clippy::needless_return; merge state BLOCKED. Closing.

@oddurs oddurs closed this Oct 3, 2026
@oddurs
oddurs deleted the test/0013-clippy-canary branch October 3, 2026 01:24
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