Repository navigation

Runner micro-VM: a built image is not-pinnable, and the road to running jobs in the VM - #10628

Merged

briansrls merged 4 commits into

mainfrom

session/nimble-swift-27-vm-migration

Sep 6, 2026

Merged

Runner micro-VM: a built image is not-pinnable, and the road to running jobs in the VM#10628
briansrls merged 4 commits into
mainfrom
session/nimble-swift-27-vm-migration

Commits on Sep 5, 2026
- A built image is not-pinnable, not merely unpinned
  
  Brian Searls
  and
  claude
  committed
  168106a
Commits on Sep 6, 2026
- Model the guest network as declared state, and apply the grants nobody applied
  
  Brian Searls
  and
  claude
  committed
  fa4f529
- Derive the netmask and supernet, and stop casting Int to Nat in witnesses
  
  Brian Searls
  and
  claude
  committed
  7f02e1c
- Type the NAT chain, seal the attempt identity, and stop casting Int to Int
  
  Brian Searls
  and
  claude
  committed
  90f460f