issues
search
verified-network-toolchain
/
petr4
Petr4: Formal Semantics for P4
Apache License 2.0
74
stars
20
forks
source link
actions added/fixed
#310
Closed
pataei
closed
2 years ago
pataei
commented
2 years ago
build-petr4 is fixed (menhir version is fixed to a previous one that works correctly)
push docker image is added. It requires us to have a docker account with a petr4 repo and we should add the username and password as secrets.
ci-typecheck is added but it is not complete yet.