New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: more fixes #89

Merged

rbberger merged 1 commit into main from ci_fixes

Apr 17, 2024

Collaborator

rbberger commented Apr 17, 2024

PR Summary

Fixes A100 build

PR Checklist

Code is formatted. (You can use the format_spiner make target.)
Adds a test for any bugs fixed. Adds tests for new features.
If preparing for a new release, update the version in cmake.


          ci: more fixes

ca0ab30

rbberger requested a review from Yurlungur

April 17, 2024 19:42

Yurlungur approved these changes

View reviewed changes

rbberger merged commit bdac29f into main

4 checks passed

rbberger deleted the ci_fixes branch

April 17, 2024 20:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet