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

Commits

Commits on Feb 3, 2026