Fix type of builtin ABC instruction push_a_b

4 jobs for master in 19 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #69408
test

00:04:48

 
  Build
passed #69409
backend

00:14:39

passed #69410
frontend

00:01:52

passed #69411
stats

00:00:53