Skip to content

fix(ci): run cold translation when protected-base evidence is missing - #174

Merged
bordumb merged 2 commits into
mainfrom
formal-translation-cold-fallback
Sep 26, 2026
Merged

fix(ci): run cold translation when protected-base evidence is missing#174
bordumb merged 2 commits into
mainfrom
formal-translation-cold-fallback

Merge remote-tracking branch 'origin/main' into HEAD

a318f60
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar