the type checking CI gets the petr4 docker img and type checks P4 programs from p4c's testdata and categorizes them into 1) typechecked (the program type checked for both petr4 and p4c) 2) fails (the program didn't type check for both petr4 and p4c) 3) petr4Typechecked (it only type checked for petr4) 4) p4cTypechecked (it only type checked for p4c).
petr4 build and push docker img have been fixed to use the old version of menhir, dune, and p4pp.