Skip to content

CI proposal: cover formal-source changes in the D2 moment-bridge workflow - #407

Merged
d6g8k5htny-coder merged 2 commits into
mainfrom
chatgpt/moment-formal-trigger-20261008-r2-6060721007
Oct 8, 2026
Merged

CI proposal: cover formal-source changes in the D2 moment-bridge workflow#407
d6g8k5htny-coder merged 2 commits into
mainfrom
chatgpt/moment-formal-trigger-20261008-r2-6060721007

chore(ci): refresh adopted D2 moment trigger onto current Math main

1dd9db2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar