Updated build scripts - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

Updates the build scripts ran by the build-poulet4 workflow to fix failing CI checks

ericthewry commented 1 year ago

Nice find @zachary0kent . @hackedy thoughts?

hackedy commented 1 year ago

Looks good, nice find.

hackedy commented 1 year ago

Do we know why we're getting files from the repos with bad checksums?