Test page of links to P4 spec documents

P416 Language Specification

P416 Portable NIC Architecture (PNA)

P416 Portable Switch Architecture (PSA)

P4Runtime

In-Band Network Telemetry (INT)

Telemetry Report Format

Here is the Github workflow which commits the spec documents to gh-pages: madoko-build.yml