Test

Update dependency: deps/mx-semantics_release #1400

Job	Run time
Code Quality Checks	1m 59s
Version Bump	7s
Build and Test lemmas	53m 21s
Kmxwasm booster tests	45m 53s
Kmxwasm integration tests	46m 57s
Kasmer claim generation tests	32m 38s
Nix (self-hosted, linux, normal)	1h 12m 40s
Smoke tests	1h 11m 14s
Nix (self-macos-14)	58m 14s
	6h 23m 3s

Provide feedback