Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
(Test was silently ignored on Linux CI prior to parent commit that switched to using `# min-llvm-version`. But the switch made the ignoring stop, exposing other brokenness in the form of bash-dependent syntax in the `$(shell ...)` invocations.)
- Loading branch information