Skip to content
CI

Simplifying acos(0/1), asin(0,1) and anything + 0 #2097

Sign in to view logs

Simplifying acos(0/1), asin(0,1) and anything + 0

Simplifying acos(0/1), asin(0,1) and anything + 0 #2097

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (Core, 1)
12m 16s
test (Downstream, 1)
6m 48s
test (GroebnerExt, 1)
4m 38s
23m 42s