Skip to content

fix(ci): drop proof-bot issue_comment trigger - #195

Merged
fraware merged 1 commit into
mainfrom
fix/wave7-proof-bot-no-comment-noise
Jul 16, 2026
Merged

fix(ci): drop proof-bot issue_comment trigger#195
fraware merged 1 commit into
mainfrom
fix/wave7-proof-bot-no-comment-noise

Conversation

@fraware

@fraware fraware commented Jul 16, 2026

Copy link
Copy Markdown
Member

Summary

  • Skipped issue_comment runs were overwriting successful proof-bot dispatch status in inventory
  • Remove issue_comment trigger; keep schedule + workflow_dispatch

Test plan

  • Dispatch proof-bot on main after merge; last status success
  • Inventory shows proof-bot green

Non-/prove PR comments produced skipped workflow runs that overwrote
the last successful schedule/dispatch status in inventory. Keep
schedule + workflow_dispatch only.
@cursor

cursor Bot commented Jul 16, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@fraware
fraware merged commit 499f08a into main Jul 16, 2026
23 of 25 checks passed
@fraware
fraware deleted the fix/wave7-proof-bot-no-comment-noise branch July 16, 2026 11:40
@github-actions

Copy link
Copy Markdown

Thanks for the PR! CI will run CERT validation and replay checks. Results will appear in workflow badges and artifacts.

@github-actions

Copy link
Copy Markdown

SBOM Security Report

Total Packages: 4535

Language Distribution:

  • go: 359
  • javascript: 3277
  • rust: 592
  • python: 1

License Distribution:

  • MIT: 1270
  • Apache-2.0: 45
  • CC0-1.0: 43
  • BSD-3-Clause: 34
  • ISC: 87
  • BSD-2-Clause: 41
  • Python-2.0: 2
  • MPL-2.0: 1
  • Unlicense: 5
  • CC-BY-4.0: 1
  • (Apache-2.0 OR MPL-1.1): 1
  • BlueOak-1.0.0: 3
  • (AFL-2.1 OR BSD-3-Clause): 2
  • (BSD-3-Clause OR GPL-2.0): 1
  • 0BSD: 3
  • (MIT OR CC0-1.0): 4
  • MIT AND ISC: 1

✅ SBOM generated successfully
✅ No GPL licenses detected
✅ No high/critical vulnerabilities found

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