build

Minor adjustments to website #527

Job	Run time
Lint & Static Checks	4s
FFI Safety Tests (macos-14)	4s
Build Binaries (windows-2022)	3s
Build Binaries (macos-14)	4s
Build Binaries (ubuntu-22.04)	3s
Build Website Skeleton	3s
FFI Safety Tests (ubuntu-22.04)	3s
Run Heavy Tests (Miri + Reftests)	3s
Build Linux Packages (.deb/.rpm)	1s
Deploy to GitHub Pages	1s
	29s

Provide feedback