Skip to content
Continuous Integration

Use the proper Unicode symbol for empty sets #760

Sign in to view logs

Use the proper Unicode symbol for empty sets

Use the proper Unicode symbol for empty sets #760

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate Site (ubuntu-latest, temurin@8)
1m 52s
Build and Test (ubuntu-latest, 2.13.10, temurin@8, rootJS)
12m 58s
Build and Test (ubuntu-latest, 2.13.10, temurin@8, rootJVM)
4m 34s
Build and Test (ubuntu-latest, 2.13.10, temurin@8, rootNative)
10m 30s
Build and Test (ubuntu-latest, 2.13.10, temurin@11, rootJVM)
3m 25s
Build and Test (ubuntu-latest, 2.13.10, temurin@17, rootJVM)
3m 22s
Build and Test (ubuntu-latest, 3.2.2, temurin@8, rootJS)
14m 14s
Build and Test (ubuntu-latest, 3.2.2, temurin@8, rootJVM)
4m 44s
Build and Test (ubuntu-latest, 3.2.2, temurin@8, rootNative)
9m 33s
Publish Artifacts
0s
1h 5m 12s