Test

Update dependency: deps/mx-semantics_release #1443

Job	Run time
Code Quality Checks	2m 11s
Code Quality Checks	2m 11s
Version Bump	5s
Version Bump	5s
Build and Test lemmas	1h 5m 58s
Build and Test lemmas	1h 5m 58s
Kasmer claim generation tests	39m 13s
Kasmer claim generation tests	39m 13s
Kmxwasm booster tests	38m 3s
Kmxwasm booster tests	38m 3s
Kmxwasm integration tests	36m 29s
Kmxwasm integration tests	52m 17s
Nix (self-hosted, linux, normal)	45m 27s
Nix (self-hosted, linux, normal)	45m 27s
Smoke tests	1h 17m 53s
Smoke tests	1h 17m 53s
Nix (self-macos-14)	38m 42s
Nix (self-macos-14)	38m 42s
	11h 43m 50s

Provide feedback