search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
76 stars 21 forks source link

build-poulet4 workflow added #298

Closed pataei closed 2 years ago

pataei commented 2 years ago

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

Note, you need to have this workflow in the poulet4 branch to run it manually.