search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
74 stars 20 forks source link

Website is broken #337

Closed hackedy closed 2 years ago

hackedy commented 2 years ago

It looks like all the asset links are going to the old cornell-netlab.github.io domain, so it's rendering as plain HTML: https://verified-network-toolchain.github.io/petr4/targets/

hackedy commented 2 years ago

Fixed. But a gross way. I think we need to upgrade Hugo.