ci(formal): read the props file with -formal

ccc72c5

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

NotebookLM Gate on: push

🔒 NotebookLM notebook required

GitGuardian

GitGuardian Security Checks

Seal Coverage on: pull_request 2

coverage

Issue Gate on: pull_request_target

check-linked-issue

PR Dashboard on: pull_request

pr-dashboard

Untrusted Input Gate on: pull_request

untrusted-input

FPGA E2E Build on: pull_request 8

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Check Now Freshness on: pull_request

check

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

secret-scan on: pull_request

scan

NOW Sync Gate on: pull_request

check-now-freshness

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

Corpus Ratchet on: pull_request 3

Corpus ratchet (expected-failure ledger)

Withdrawn Number Gate on: pull_request 1

withdrawn-live

Schema Validation on: pull_request 1

validate

PHI Loop CI on: pull_request

phi-loop-check

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

🔒 NotebookLM notebook required

succeeded Aug 19, 2026 in 10s

Loading

Re-running jobs...