Skip to content
Test PR

keep the constraints unchanged after creating a new cterm #7107

Sign in to view logs

keep the constraints unchanged after creating a new cterm

keep the constraints unchanged after creating a new cterm #7107

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Java: Linting
1m 25s
Pyk: Code Quality & Unit Tests (3.10)
1m 23s
Pyk: Code Quality & Unit Tests (3.11)
1m 4s
Pyk: Code Quality & Unit Tests (3.12)
1m 14s
Pyk: Code Quality & Unit Tests (3.13)
1m 55s
Code Quality Checks
0s
K: Ubuntu Jammy Package
0s
K: Ubuntu Jammy Frontend Package
0s
Pyk: Nix Build
0s
K: Source Build & Test
0s
K: Nix Build & Test
0s
Pyk: Integration Tests
0s
Pyk: Documentation
0s
Pyk: Profiling
0s
Pyk: Regression Tests
0s
7m 1s