Test

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

Job	Run time
Version Bump	10s
Version Bump	10s
Code Quality Checks	2m 11s
Code Quality Checks	2m 11s
Kmxwasm booster tests	16m 40s
Kmxwasm booster tests	16m 40s
Kmxwasm integration tests	16m 42s
Kmxwasm integration tests	16m 42s
Build and Test lemmas	28m 52s
Build and Test lemmas	28m 52s
Kasmer claim generation tests	10m 42s
Kasmer claim generation tests	10m 42s
Nix (self-hosted, linux, normal)	38m 42s
Nix (self-hosted, linux, normal)	38m 42s
Smoke tests	26m 12s
Smoke tests	26m 12s
Nix (self-macos-14)	42m 41s
Nix (self-macos-14)	15m 36s
	5h 38m 39s

Provide feedback