Test

Move simple jobs to public runners #1297

Job	Run time
Code Quality Checks	2m 4s
Code Quality Checks	2m 4s
Version Bump	3s
Version Bump	3s
Build and Test lemmas	30m 43s
Build and Test lemmas	30m 43s
Kmxwasm booster tests	24m 27s
Kmxwasm booster tests	24m 27s
Kmxwasm integration tests	3m 37s
Kmxwasm integration tests	24m 58s
Kasmer claim generation tests	23m 8s
Kasmer claim generation tests	23m 8s
Nix (self-hosted, linux, normal)	38m 20s
Nix (self-hosted, linux, normal)	38m 20s
Smoke tests	30m 11s
Smoke tests	30m 11s
Nix (self-macos-14)	29m 13s
Nix (self-macos-14)	29m 13s
	6h 24m 53s

Provide feedback