Skip to content

Fixes verification-related bugs#4

Merged
meiniKi merged 7 commits intomainfrom
dev
Sep 6, 2025
Merged

Fixes verification-related bugs#4
meiniKi merged 7 commits intomainfrom
dev

Conversation

@meiniKi
Copy link
Copy Markdown
Owner

@meiniKi meiniKi commented Sep 5, 2025

  • Fixes cfg file in the fv.rvformal.cov.reg.% target
  • Fixes RISCOF parameter handling as used in GitHub Actions

@meiniKi meiniKi merged commit 4aaf243 into main Sep 6, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant