chore: revert accidentally added rocm default #95
theis
commented
Owner
No description provided.
theis
added 1 commit 2026-08-24 19:50:46 +00:00
chore: revert accidentally added rocm default
All checks were successful
/ test-frontend (push) Successful in 33s
Details
/ test-backend (push) Successful in 1m15s
Details
theis
scheduled this pull request to auto merge when all checks succeed 2026-08-24 19:50:56 +00:00
theis
merged commit 7cff51105e into main
theis
deleted branch revert-accidentally-added-rocm-as-default
theis
referenced this pull request from a commit
chore: revert accidentally added rocm default (#95)
Loading…
Reference in a new issue
No description provided.
Delete branch "revert-accidentally-added-rocm-as-default"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?