Skip to content

Pin formal-evidence job to ubuntu-24.04 (formal-verification.yml line 40) - #378

Merged
d6g8k5htny-coder merged 2 commits into
mainfrom
claude/formal-evidence-runner-pin-20261012
Oct 12, 2026
Merged

Pin formal-evidence job to ubuntu-24.04 (formal-verification.yml line 40)#378
d6g8k5htny-coder merged 2 commits into
mainfrom
claude/formal-evidence-runner-pin-20261012

Merge main 513261bb into formal-evidence-runner-pin (base-only refresh)

0ec41ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar