Repository navigation

Kernel: a Lens run by GitHub Actions is read only from its own workflow file - #114

Merged

don-petry merged 4 commits into

mainfrom

kernel/lens-workflow-file

Oct 16, 2026

Merged

Kernel: a Lens run by GitHub Actions is read only from its own workflow file#114
don-petry merged 4 commits into
mainfrom
kernel/lens-workflow-file

Commits on Oct 16, 2026
- Kernel: a Lens run by GitHub Actions is read only from its own workflow file
  
  don-petry
  and
  claude
  committed
  1b321d1
- Decision 0018, not 0017: a Lens is read from its own App and its own workflow file
  
  don-petry
  and
  claude
  committed
  a685e7c
- Lens workflow pin: honest about what it holds, and stricter where it reads
  
  don-petry
  and
  claude
  committed
  6e94d04
- Lens workflow check: an unreadable Lens table is a problem, and the check goes on
  
  don-petry
  and
  claude
  committed
  8f589ca