Repository navigation

Clean up medium_structure_containment lens residue after #6831 - #6853

Merged

briansrls merged 3 commits into

mainfrom

remove-medium-structure-lens-residue

Jul 19, 2026

Merged

Clean up medium_structure_containment lens residue after #6831#6853
briansrls merged 3 commits into
mainfrom
remove-medium-structure-lens-residue

Commits on Jul 18, 2026
- WIP: Remove the no-smuggled-programs / medium_structure_containment bash lens
  Brian Searls
  committed
  cc8ffe2
- Merge remote-tracking branch 'origin/main' into remove-medium-structure-lens-residue
  Brian Searls
  committed
  153726f
- Merge remote-tracking branch 'origin/main' into remove-medium-structure-lens-residue
  Brian Searls
  committed
  e7890a6