Skip to content

Add support for native_compute on ARM64 processors. - #22447

Open
silene wants to merge 5 commits into
rocq-prover:masterfrom
silene:arm64-native
Open

Add support for native_compute on ARM64 processors.#22447
silene wants to merge 5 commits into
rocq-prover:masterfrom
silene:arm64-native

Try randomly adding underscores.

76374d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
Linux (latest OCaml)
succeeded Sep 8, 2026 in 6m 19s