Test

EXPERIMENT: refactored get buffer on top of remove-mapint2int #1343

Job	Run time
Version Bump	4s
Code Quality Checks	1m 54s
Kmxwasm booster tests	18m 4s
Kmxwasm integration tests	38m 57s
Build and Test lemmas	21m 38s
Kasmer claim generation tests	32m 35s
Nix (self-hosted, linux, normal)	33m 59s
Nix (self-macos-14)	13m 8s
Smoke tests	33m 8s
	3h 13m 27s

Provide feedback