Skip to content

config - #1763

Draft
daniel-noland wants to merge 16 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra
Draft

config#1763
daniel-noland wants to merge 16 commits into
pr/daniel-noland/model-checkingfrom
pr/daniel-noland/config-algebra

test(dataplane): Require an excluded address to be unreachable

33377c4
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Aug 28, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 a32929c fix(hardware): Bind NICs whose kernel driver was n... Valid sign-off found
🟢 ad950b3 test(dataplane): Answer a request from where it la... Valid sign-off found
🟢 5df9137 fix(nat): Find a burst's flow under the key it was... Valid sign-off found
🟢 f0e9cd6 feat(config): Let the algebra build a static-nat e... Valid sign-off found
🟢 8388a92 test(dataplane): Give an inbound load addresses it... Valid sign-off found
🟢 ec58096 feat(config): Let the algebra build a port-forward... Valid sign-off found
🟢 00c77c1 feat(config): Let the algebra put an ACL on a peer... Valid sign-off found
🟢 cf81f89 test(config): Take the census into the ACL schema Valid sign-off found
🟢 f618ccd feat(config): Let the algebra permit a peering by ... Valid sign-off found
🟢 8ab4809 feat(config): Let one ACL rule name part of a peer... Valid sign-off found
🟢 c419eb5 feat(config): Name a gateway group, a rule's loggi... Valid sign-off found
🟢 3776b96 feat(config): Narrow a rule by protocol, by port, ... Valid sign-off found
🟢 3fb2a76 feat(config): Narrow a forwarded expose to one tra... Valid sign-off found
🟢 a2603e8 feat(config): Carve a slice out of the middle of a... Valid sign-off found
🟢 57e440d feat(config): Let an expose stand for everything Valid sign-off found
🟢 33377c4 test(dataplane): Require an excluded address to be... Valid sign-off found