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

fix(ci): drop proof-bot issue_comment trigger

26ad80b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar