Repository navigation

Build the FIPS profile in CI, and make it build again #635

Job	Run time
macos-x86_64 build	14m 47s
centos7-aarch64	8m 9s
debian7-x86_64	4m 20s
macos-aarch64 build	5m 10s
debian13-x86_64	5m 16s
windows-x86_64	4m 29s
al2023-x86_64-aws_lc	1m 57s
debian13-x86_64-fips	6m 7s
centos6-x86_64	6m 1s
musl-verify alpine-x86_64-fips	17s
musl-verify alpine-x86_64	19s
musl-verify alpine-x86_64-gcompat	26s
musl-verify alpine-x86_64-nolibgcc	25s
musl-verify alpine-aarch64	15s
musl-verify alpine-aarch64-gcompat	18s
musl-verify glibc-control-x86_64	21s
musl-verify alpine-aarch64-nolibgcc	15s
musl-verify alpine-x86_64-debian13	18s
	59m 10s