Interactive Build

InteractiveBuild.yml

2500+ workflow runs

Integrate six seams of the independent suites (#1996)
completed successfully:
Interactive Build#3362:Commit99b5804pushedbyRafael-SOWNet
master
Oct 21, 20266m 54s
Integrate four algebraic shapes of Rubi's family 1 left by the earlie…
completed successfully:
Interactive Build#3361:Commit2343040pushedbyRafael-SOWNet
master
Oct 21, 20262m 11s
Integrate four algebraic shapes of Rubi's family 1 left by the earlier passes
completed successfully:
Interactive Build#3360:Pull request#1997openedbyRafael-SOWNet
integrate-algebraic-fifth-pass-ax
Oct 21, 20266m 49s
Split an odd half power of a linear over the second power of x (b + c…
completed successfully:
Interactive Build#3359:Commit8c47ef1pushedbyRafael-SOWNet
master
Oct 21, 202615m 2s
Integrate six seams of the independent suites
completed successfully:
Interactive Build#3358:Pull request#1996openedbyRafael-SOWNet
integrate-six-seams-of-the-independent-suites
Oct 21, 202615m 53s
Keep a quotient written apart true beyond the restriction its sub-ans…
completed successfully:
Interactive Build#3357:Commit20a4b39pushedbyRafael-SOWNet
master
Oct 21, 202624m 17s
Check for cancellation before each exact evaluation of the perfect-square collapse
completed successfully:
Interactive Build#3356:Pull request#1995openedbyRafael-SOWNet
a-search-past-its-budget-stops
Oct 21, 202613m 37s
Reduce a polynomial over a power of a symbolic quadratic beside the r…
completed successfully:
Interactive Build#3355:Commit48404e4pushedbyRafael-SOWNet
master
Oct 21, 202626m 20s
Split an odd half power of a linear over the second power of x (b + c x) over its two linears
completed successfully:
Interactive Build#3354:Pull request#1994openedbyRafael-SOWNet
split-an-odd-half-power-over-the-square-of-x-b-plus-cx
Oct 21, 202618m 12s
Integrate a half-odd power of a cosine beside the root of a - a cos w…
completed successfully:
Interactive Build#3353:Commit70cee87pushedbyRafael-SOWNet
master
Oct 21, 20269m 35s
Keep a quotient written apart true beyond the restriction its sub-answer holds under
completed successfully:
Interactive Build#3352:Pull request#1993openedbyRafael-SOWNet
keep-a-quotient-written-apart-true-beyond-its-restriction
Oct 21, 202618m 50s
Take a constant out of a fractional power of a nowhere-positive sum n…
completed successfully:
Interactive Build#3351:Commit46be7fcpushedbyRafael-SOWNet
master
Oct 21, 20267m 40s
Reduce a polynomial over a power of a symbolic quadratic beside the root of another in one solve, over the quadratic's roots
completed successfully:
Interactive Build#3350:Pull request#1992openedbyRafael-SOWNet
reduce-over-the-roots-of-a-symbolic-quadratic-beside-the-root-of-another
Oct 21, 202622m 46s
Integrate a half-odd power of a cosine beside the root of a - a cos without a sign
completed successfully:
Interactive Build#3349:Pull request#1991openedbyRafael-SOWNet
integrate-a-half-odd-cosine-power-beside-the-root-of-a-minus-a-cos
Oct 21, 20266m 33s
Cancel a sum the exponential substitution writes on both sides of the…
completed successfully:
Interactive Build#3348:Commit7a49ad0pushedbyRafael-SOWNet
master
Oct 21, 20267m 30s
Take a constant out of a fractional power of a nowhere-positive sum negated, for every real constant
completed successfully:
Interactive Build#3347:Pull request#1990openedbyRafael-SOWNet
take-a-constant-out-of-a-nowhere-positive-sum-negated
Oct 21, 20266m 58s
Differentiate the sign and the modulus of an expression in roots wher…
completed successfully:
Interactive Build#3346:Commit8ccf7ccpushedbyRafael-SOWNet
master
Oct 21, 202617m 18s
Cancel a sum the exponential substitution writes on both sides of the bar before simplifying the quotient
completed successfully:
Interactive Build#3345:Pull request#1989openedbyRafael-SOWNet
cancel-a-sum-written-on-both-sides-before-simplifying
Oct 21, 20269m 53s
Take the arm off the real line for a quadratic with an even root of a…
completed successfully:
Interactive Build#3344:Commitbcb831dpushedbyRafael-SOWNet
master
Oct 21, 20269m 20s
Differentiate the sign and the modulus of an expression in roots where the roots are real
completed successfully:
Interactive Build#3343:Pull request#1988openedbyRafael-SOWNet
differentiate-the-sign-of-an-expression-in-roots-where-they-are-real
Oct 21, 202614m 21s
Take a constant with a minus written in it out of a fractional power …
completed successfully:
Interactive Build#3342:Commit20c464fpushedbyRafael-SOWNet
master
Oct 21, 20262m 13s
Take the arm off the real line for a quadratic with an even root of a symbol among its coefficients
completed successfully:
Interactive Build#3341:Pull request#1987openedbyRafael-SOWNet
take-the-arm-off-the-real-line-for-an-even-root-of-a-symbol
Oct 21, 20269m 57s
Divide a polynomial over a polynomial beside a power of a quadratic w…
completed successfully:
Interactive Build#3340:Commit76cf797pushedbyRafael-SOWNet
master
Oct 21, 202615m 7s
Take a constant with a minus written in it out of a fractional power for either sign
completed successfully:
Interactive Build#3339:Pull request#1986openedbyRafael-SOWNet
take-a-negated-constant-out-of-a-fractional-power-for-either-sign
Oct 21, 20264m 27s
Read a power of the tangent beside a power of x as the derivative of …
completed successfully:
Interactive Build#3338:Commit3f57780pushedbyRafael-SOWNet
master
Oct 21, 20268m 56s