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

Clean up CI: simplify dev versioning and remove dead config

010e0e7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
CodeQL-Build
succeeded Aug 7, 2026 in 1m 16s