Repository navigation

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

Commits on Oct 8, 2026
- CI proposal: select the D2 moment bridge on formal source changes
  d6g8k5htny-coder
  committed
  8b7829b
- chore(ci): refresh adopted D2 moment trigger onto current Math main
  d6g8k5htny-coder
  committed
  1dd9db2