Skip to content
Bump version and make master job

Generate sort predicate syntax/rules only for locally declared sorts … #696

Sign in to view logs

Generate sort predicate syntax/rules only for locally declared sorts …

Generate sort predicate syntax/rules only for locally declared sorts … #696

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Performance Tests
55s
Version Bump
8s
1m 3s