Skip to content

[PROOF-P0-S3] Run the suite on pull requests - #28

Merged
d6veteran merged 2 commits into
mainfrom
d6-agent/goofy-thompson-8d3944
Oct 12, 2026
Merged

[PROOF-P0-S3] Run the suite on pull requests#28
d6veteran merged 2 commits into
mainfrom
d6-agent/goofy-thompson-8d3944

PROOF-P0-S3: run the suite on every pull request and on main

60f379b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar