Skip to content
CI

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

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 #2058

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (Core, 1)
12m 23s
test (Downstream, 1)
6m 41s
test (GroebnerExt, 1)
4m 32s
23m 36s