Skip to content
GitLab
Explore
Sign in
Register
Remove superfluous Cray:: prefix
Code
Review changes
Check out branch
Download
Patches
Plain diff
Bram Veenboer
requested to merge
fix-cray
into
master
Dec 13, 2024
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
!86 (merged)
caused as compilation error for the
Cray
backend, which is now fixed.
Merge request reports
Loading