Skip to content

Pin CVE2 and Ibex as reference cores; same-flow comparison of five cores - #17

Merged
abmajith merged 2 commits into
mainfrom
ref-cores
Nov 7, 2026
Merged

Pin CVE2 and Ibex as reference cores; same-flow comparison of five cores#17
abmajith merged 2 commits into
mainfrom
ref-cores

CI: keep only fast checks automatic; formal, GLS, mutants on demand

c975516
Select commit
Loading
Failed to load commit list.
GitGuardian / GitGuardian Security Checks succeeded Nov 7, 2026 in 34s

No secrets detected ✅

2 commits were scanned without uncovering any secrets.

Details

Commits scanned: 2

  • Pull request #17: ref-cores 👉 main

🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.

View more details on GitGuardian