search

lattice / quda

QUDA is a library for performing calculations in lattice QCD on GPUs.
https://lattice.github.io/quda
Other
292 stars 99 forks source link

correction of small typo in comment #1327

Closed simone-romiti closed 2 years ago

mathiaswagner commented 2 years ago

Jenkins: Can one of the admins verify this patch?

kostrzewa commented 2 years ago

@maddyscientist Thanks for explaining that. We weren't sure if you preferred to have stuff like this in isolated PRs or, as you now said, as part of a larger one. Maybe a mechanism for a submitter to mark a PR to bypass the CI pipeline until manually triggered by someone in quda_core would be a way to have both isolated PRs for small stuff and avoid needlessly using CI cycles?

Anyway, we'll package further things of this sort as part of larger PRs.