Repository navigation

Fix publishing with GitHub OIDC - #173

Merged

nojaf merged 1 commit into

mainfrom

Nov 20, 2025

Merged

Fix publishing with GitHub OIDC#173
nojaf merged 1 commit into
mainfrom
fix-publishing

Commits on Nov 20, 2025
- Fix publishing with GitHub OIDC
  cknitt
  committed
  abdbbe8