🩹 [Patch] Workflow improvements#12

Merged

MariusStorhaug merged 17 commits intomainfrom

feature/important-file-changes

Jan 26, 2026

Commits on Jan 22, 2026

Update workflow configurations
MariusStorhaug
committed

Commits on Jan 23, 2026

Add important file change detection for build/test optimization
MariusStorhaug
committed
Require important file changes for prerelease
MariusStorhaug
committed
Only publish when important files changed, cleanup still runs
MariusStorhaug
committed
Add PR comment when no significant changes detected
MariusStorhaug
committed
Fix: Use Invoke-GitHubAPI for PR comments
MariusStorhaug
committed
Make PR comment best-effort with try/catch
MariusStorhaug
committed
Fix formatting in no significant changes detected message for clarity
MariusStorhaug
committed
Update header for no significant changes detected message for clarity
MariusStorhaug
committed

Commits on Jan 26, 2026