Skip to content

Conversation

@ZuseZ4
Copy link
Member

@ZuseZ4 ZuseZ4 commented Apr 22, 2025

We added some more pretty tests, so updating the test command. Also adding a feature-gate test, which I forgot about.

@ZuseZ4 ZuseZ4 merged commit c4d85f1 into master Apr 22, 2025
1 check passed
@ZuseZ4 ZuseZ4 deleted the update-autodiff-build-instr branch April 22, 2025 05:17
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.

2 participants