Test

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

Job	Run time
Code Quality Checks	1m 57s
Version Bump	4s
Kmxwasm integration tests	21m 13s
Kmxwasm booster tests	28m 53s
Build and Test lemmas	20m 37s
Kasmer claim generation tests	17m 35s
Nix (self-hosted, linux, normal)	37m 42s
Smoke tests	34m 29s
Nix (self-macos-14)	11m 29s
	2h 53m 59s

Provide feedback