Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix setup for
aarch64-unknown-linux-gnu
platform (model-checking#2864)
Fixes setup for the `aarch64-unknown-linux-gnu` platform by adding its target triple to the list of supported targets in the setup program. Resolves model-checking#2863
- Loading branch information