ci(fpga): invoke sby from the formal dir -- [files] resolve against cwd

23a7d25

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

.github/workflows/auto-merge-ready-prs.yml on: push 1

Issue Gate on: pull_request_target

check-linked-issue

Corpus Ratchet on: pull_request 3

Corpus ratchet (expected-failure ledger)

Check Now Freshness on: pull_request

check

NotebookLM Gate on: pull_request

🔒 NotebookLM notebook required

NotebookLM Auto-Sync on: pull_request 2

extract-issue

sync-activity

manual-sync

sync-notebook

PHI Loop CI on: pull_request

phi-loop-check

Untrusted Input Gate on: pull_request

untrusted-input

secret-scan on: pull_request

scan

L1 TRACEABILITY Check on: pull_request 1

Check L1 TRACEABILITY

L1 Traceability Summary

NOW Sync Gate on: pull_request

check-now-freshness

PR Dashboard on: pull_request

pr-dashboard

Withdrawn Number Gate on: pull_request 1

withdrawn-live

Schema Validation on: pull_request 1

validate

FPGA E2E Build on: pull_request 12

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Seal Coverage on: pull_request 2

coverage

NotebookLM Gate on: push

ci(fpga): invoke sby from the formal dir -- [files] resolve against cwd

Uh oh!

Select a check to view from the sidebar