build-poulet4 workflow added

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed pataei closed 2 years ago

pataei commented 2 years ago

This PR runs the build-poulet4 workflow on push or PR on this branch.