The repository for P4 Project Enhancement Requests (P4PERs).
Visit https://p4lang.github.io/p4per/.
This is recommended because you get exactly the same environment used for CI.
- Docker runtime (one of):
- Dev Container CLI
./dev.sh runs commands inside the dev container. Without Docker, omit ./dev.sh and run the commands directly.
Preview the site locally with live reload:
./dev.sh zensical serve --dev-addr 0.0.0.0:8000Build the site:
./dev.sh zensical build --clean