Skip to content

update and simplify new quick deployment workflow#2185

Merged
Simek merged 2 commits intomainfrom
alter-predicate-quantifier-in-new-workflow
Feb 3, 2026
Merged

update and simplify new quick deployment workflow#2185
Simek merged 2 commits intomainfrom
alter-predicate-quantifier-in-new-workflow

Conversation

@Simek
Copy link
Copy Markdown
Member

@Simek Simek commented Feb 3, 2026

📝 Why & how

Update and simplify new quick deployment workflow, try to fix trigger rules by using predicate-quantifier. Do not run main deployment on YML file changes.

✅ Checklist

  • Documented how you found or replicated the issue.
  • Explained how you fixed the issue or built the feature.

@Simek Simek merged commit 2e14564 into main Feb 3, 2026
2 checks passed
@Simek Simek deleted the alter-predicate-quantifier-in-new-workflow branch February 3, 2026 13:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant