Skip to content

Clean up CI: simplify dev versioning and remove dead config - #264

Merged
shchur merged 1 commit into
masterfrom
ci-cleanup
Aug 7, 2026
Merged

Clean up CI: simplify dev versioning and remove dead config#264
shchur merged 1 commit into
masterfrom
ci-cleanup

Commits

  1. Commits on Aug 7, 2026