Test

Update dependency: deps/mx-semantics_release #1362

Job	Run time
Code Quality Checks	2m 3s
Code Quality Checks	2m 3s
Version Bump	8s
Version Bump	8s
Kasmer claim generation tests	23m 47s
Kasmer claim generation tests	23m 47s
Build and Test lemmas	15m 1s
Build and Test lemmas	15m 1s
Kmxwasm integration tests	21m 15s
Kmxwasm integration tests	18m 52s
Kmxwasm booster tests	21m 15s
Kmxwasm booster tests	21m 15s
Nix (self-hosted, linux, normal)	23m 1s
Nix (self-hosted, linux, normal)	23m 1s
Smoke tests	31m 32s
Smoke tests	31m 32s
Nix (self-macos-14)	6m 12s
Nix (self-macos-14)	6m 12s
	4h 46m 5s

Provide feedback