You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The nightly toolchain in our devctr is too old to successfully compile
non-PIE, statically linked aarch64 executable. I have manually verified
newer nightlies to work (2024-11-16 and newer), however our nightly
toolchain is dictated by kani, so we need to wait for kani to release a
new version that updates past this toolchain.
Therefore, temporarily disable the test on aarch64.
Signed-off-by: Patrick Roy <[email protected]>
0 commit comments