search

verified-network-toolchain / petr4

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

try to improve CI build times #433

Closed hackedy closed 1 year ago

hackedy commented 1 year ago

Just a placeholder PR to trigger CI jobs I'm trying to speed up the build