Skip to content

Conversation

@ZippeyKeys12
Copy link
Collaborator

@ZippeyKeys12 ZippeyKeys12 commented Jul 3, 2025

This checks code that we generate via Fulminate, Bennet and Darcy

@ZippeyKeys12 ZippeyKeys12 self-assigned this Jul 3, 2025
@ZippeyKeys12 ZippeyKeys12 added the CI Related to CI infrastructure label Jul 3, 2025
@ZippeyKeys12 ZippeyKeys12 force-pushed the strengthen-bennet-test-ci branch from 4d57f4b to 145b74d Compare November 21, 2025 05:15
@ZippeyKeys12 ZippeyKeys12 changed the title Add -Wall to Bennet CI tests [CI] Add -Wall to Bennet and Darcy tests Nov 21, 2025
@ZippeyKeys12 ZippeyKeys12 added the CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing. label Nov 21, 2025
@ZippeyKeys12 ZippeyKeys12 force-pushed the strengthen-bennet-test-ci branch from 145b74d to 492cd3b Compare November 21, 2025 06:44
@ZippeyKeys12 ZippeyKeys12 marked this pull request as ready for review November 21, 2025 07:25
@ZippeyKeys12 ZippeyKeys12 merged commit 6a0e827 into rems-project:main Nov 21, 2025
12 checks passed
@ZippeyKeys12 ZippeyKeys12 deleted the strengthen-bennet-test-ci branch November 21, 2025 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Related to CI infrastructure CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant