CI passes despite failed architectural tests

Open
#81 0 comments 0 reactions 1 assignee View on GitHub

@Stevengre is already working on this.

Since Apr 17, 2025.

Assessment

This issue has not been assessed yet.

Description

bug

Currently, the CI pipeline reports success even when architectural tests fail (see attached screenshot for reference). This could lead to unnoticed regressions or violations of architectural constraints.

Expected Behavior:

CI should fail if any architectural test fails, ensuring architectural compliance is enforced automatically.

Proposed Action:

Update the CI configuration to treat architectural test failures as build failures.

Screenshot:

Image

Dominant language
Python
Stars
7
Forks
0
No merged PRs in 30d

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/riscv-semantics

All issues in runtimeverification/riscv-semantics

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.