Repository navigation

CI: bump GitHub Actions; don't publish for CI-only changes - #33

Merged

planadecu merged 1 commit into

mainfrom

ci/actions-bump

Sep 30, 2026

Merged

CI: bump GitHub Actions; don't publish for CI-only changes#33
planadecu merged 1 commit into
mainfrom
ci/actions-bump

Commits on Sep 30, 2026
- CI: bump actions; don't publish for CI-only changes; no cache in publish
  
  planadecu
  and
  claude
  committed
  13add92