Fix intrinsic-test rejecting the new `instructions` JSON field#1430

Merged

Amanieu merged 1 commit intorust-lang:masterfrom adamgemmell:intrinsic-test-ci-fix

May 16, 2023

-1

Commits on May 15, 2023

Fix intrinsic-test rejecting the new instructions JSON field
adamgemmell
committed