Skip to content

ci: check also for Fatal error message#40

Merged
micprog merged 1 commit into
masterfrom
rt/ci-check-fatal
Sep 12, 2025
Merged

ci: check also for Fatal error message#40
micprog merged 1 commit into
masterfrom
rt/ci-check-fatal

Conversation

@ricted98

@ricted98 ricted98 commented Sep 2, 2025

Copy link
Copy Markdown
Contributor

I noted on a personal branch that the CI was passing while the simulation was failing due to a fatal error. This PR fixes the CI check accordingly.

@ricted98 ricted98 requested review from micprog and niwis September 2, 2025 09:50
@ricted98 ricted98 self-assigned this Sep 2, 2025
@ricted98

This comment was marked as outdated.

@micprog micprog merged commit 6d3c8b4 into master Sep 12, 2025
2 of 5 checks passed
@micprog micprog deleted the rt/ci-check-fatal branch September 12, 2025 16:10
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.

3 participants