chore: re-enable github for halo2-pse
#59
+384
−296
Merged
halo2-pse
#59