Skip to content

Simplify Makefiles after F* changes #2101

Simplify Makefiles after F* changes

Simplify Makefiles after F* changes #2101

build

succeeded Feb 14, 2025 in 20m 43s