Skip to content
CI

Create new category 'Formal Theory and ML' and … #1896

Sign in to view logs

Create new category 'Formal Theory and ML' and …

Create new category 'Formal Theory and ML' and … #1896

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (3.x)
2m 2s
2m 2s