Skip to content

Use PR base branch (not main) for DE1-SoC synthesis metrics baseline#233

Merged
TheDeepestSpace merged 2 commits into
mainfrom
copilot/fix-synthesis-diffs-target-branch
May 23, 2026
Merged

Use PR base branch (not main) for DE1-SoC synthesis metrics baseline#233
TheDeepestSpace merged 2 commits into
mainfrom
copilot/fix-synthesis-diffs-target-branch

ci: use PR base branch for synthesis metrics baseline

3459eb8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build_ci_image / build
succeeded May 23, 2026 in 47s