Skip to content

Update target names in GitHub Actions workflows#21

Merged
VladimirUmek merged 1 commit into
mainfrom
fix_workflows
Feb 3, 2026
Merged

Update target names in GitHub Actions workflows#21
VladimirUmek merged 1 commit into
mainfrom
fix_workflows

Commits

Commits on Feb 3, 2026