Repository navigation

fiat-constify: remove crate #1883

Job	Run time
test (1.85.0)	17s
test (stable)	20s
build (1.85.0, wasm32-unknown-unknown)	18s
build (stable, thumbv7em-none-eabi)	20s
build (stable, wasm32-unknown-unknown)	18s
build (1.85.0, thumbv7em-none-eabi)	21s
minimal-versions / minimal-versions	42s
	2m 36s