Repository navigation

Allow triggering CI workflows manually #510

Job	Run time
test (1.85.0)	1m 32s
test (stable)	1m 32s
test-miri (x86_64-unknown-linux-gnu)	47s
build (stable, wasm32-unknown-unknown)	11s
build (1.85.0, thumbv7em-none-eabi)	14s
test-miri (s390x-unknown-linux-gnu)	58s
test-careful	1m 23s
build (stable, thumbv7em-none-eabi)	7s
build (1.85.0, wasm32-unknown-unknown)	15s
minimal-versions / minimal-versions	22s
	7m 21s