Skip to content
Build and Report Generation

Removes sexp and symbol from PType and Datum #4597

Sign in to view logs

Removes sexp and symbol from PType and Datum

Removes sexp and symbol from PType and Datum #4597

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (11)
3m 32s
randomized-test (11)
2m 32s
test (17)
3m 21s
randomized-test (17)
1m 53s
11m 18s