Skip to content

[proofcheck e2e] Add a manual-only dummy workflow (proofcheck e2e) - #52

Closed
bhaskargurram-ai wants to merge 1 commit into
proofcheck-e2e/workflow-change-base-20261013-230643from
proofcheck-e2e/workflow-change-20261013-230643
Closed

bhaskargurram-ai wants to merge 1 commit into
proofcheck-e2e/workflow-change-base-20261013-230643from
proofcheck-e2e/workflow-change-20261013-230643

Conversation

@bhaskargurram-ai

Copy link
Copy Markdown
Member

Adds a workflow that only runs when started by hand.


Generated by Claude Code

@github-actions

Copy link
Copy Markdown

proofcheck: ⚠️ No evidence found for the PR's claims

Warning

This PR modifies files that control how this check runs (.github/workflows/proofcheck-e2e-dummy.yml). The results below were produced by the PR's own workflow run and could have been altered by the PR. Re-run proofcheck after reviewing those changes.

no checkable claims in the PR text · no tests added or changed · 1 files (+15/−0), 1 scope note

Claims

No checkable claims (issue references, performance numbers, "adds tests", "no behaviour change", "backwards compatible") were found in the PR title or description.

Tests: do the changed tests fail before the change and pass after it?

⚠️ No test evidence: this PR does not add or change any test.

Projects: rust (cargo): no tests changed · python (pytest in adapters/python): no tests changed · e2e-toy (pytest in e2e_toy): no tests changed

  • The PR does not add or modify any test files.

Scope

  • 1 files changed (+15 / −0 lines)
  • ⚠️ Changes CI/workflow configuration; review carefully (runs with repository credentials after merge). .github/workflows/proofcheck-e2e-dummy.yml

proofcheck judges evidence, not authorship: it runs the PR's tests on the base and head commits, replays issue reproducers and checks claims against what it measured. It does not guess whether a human or an AI wrote the code. ⚠️ means no evidence, not wrong. Base 6a823d7 → head 389bfc7 · proofcheck 1.0.0

@github-actions github-actions Bot added the proofcheck: no evidence proofcheck: no evidence found for the PR's claims (not the same as wrong) label Oct 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

proofcheck: no evidence proofcheck: no evidence found for the PR's claims (not the same as wrong)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant