PR #2258 changed only contrib/formal/.sby and merged without a single fpga-build run: neither push nor pull_request paths include the formal configs or the conformance vectors, so the exact files the formal and conformance jobs consume are invisible to their own CI. Discovered when the layer-5 fix landed silently; validated via workflow_dispatch instead. Both trigger lists now include contrib/formal/** and conformance/fpga_.json.
PR #2258 changed only contrib/formal/.sby and merged without a single fpga-build run: neither push nor pull_request paths include the formal configs or the conformance vectors, so the exact files the formal and conformance jobs consume are invisible to their own CI. Discovered when the layer-5 fix landed silently; validated via workflow_dispatch instead. Both trigger lists now include contrib/formal/** and conformance/fpga_.json.