ci(fpga): formal prefers the RTL it just generated over stale committ…

cc297fb

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

GitGuardian

GitGuardian Security Checks

NotebookLM Gate on: push

🔒 NotebookLM notebook required

NotebookLM Auto-Sync on: push

extract-issue

sync-activity

manual-sync

sync-notebook

PHI Loop CI on: pull_request

phi-loop-check

PR Dashboard on: pull_request

pr-dashboard

Check Now Freshness on: pull_request

check

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

FPGA E2E Build on: pull_request 12

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Withdrawn Number Gate on: pull_request 1

withdrawn-live

secret-scan on: pull_request

scan

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

Seal Coverage on: pull_request 2

coverage

NOW Sync Gate on: pull_request

check-now-freshness

Corpus Ratchet on: pull_request 3

Corpus ratchet (expected-failure ledger)

Schema Validation on: pull_request 1

validate

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Untrusted Input Gate on: pull_request

untrusted-input

Issue Gate on: pull_request_target

check-linked-issue

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Select a check to view from the sidebar