Skip to content

Actions: ASC-Community/AngouriMath

Actions

F# Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpTest.yml
2,274 workflow runs
2,274 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
A binomial differential with a symbol in its exponents is integrated in the third case F# Test #3398: Pull request #1792 opened by Rafael-SOWNet
8m 56s a-binomial-in-the-third-case-with-a-symbolic-exponent
a-binomial-in-the-third-case-with-a-symbolic-exponent
8m 56s
A symbolic power of one of two conjugate tangent sums is integrated in that sum F# Test #3397: Pull request #1791 opened by Rafael-SOWNet
7m 49s a-conjugate-pair-of-tangent-sums-is-integrated-in-the-tangent
a-conjugate-pair-of-tangent-sums-is-integrated-in-the-tangent
7m 49s
x over a cubic binomial beside the root of another is integrated wher… F# Test #3396: Commit 113ae13 pushed by Rafael-SOWNet
9m 13s master
master
9m 13s
x over a cubic binomial beside the root of another is integrated where that is elementary F# Test #3395: Pull request #1790 opened by Rafael-SOWNet
8m 8s x-over-a-cubic-binomial-beside-the-root-of-another
x-over-a-cubic-binomial-beside-the-root-of-another
8m 8s
A power of a monomial in a symbolic power of x is integrated as the p… F# Test #3394: Commit 221d3c5 pushed by Rafael-SOWNet
7m 9s master
master
7m 9s
Four nested roots with a closed form are integrated (#1787) F# Test #3393: Commit 404a98a pushed by Rafael-SOWNet
30m 16s master
master
30m 16s
A power of a monomial in a symbolic power of x is integrated as the power of x it is F# Test #3392: Pull request #1789 opened by Rafael-SOWNet
20m 3s a-distributed-power-of-a-monomial-has-its-exponent-simplified
a-distributed-power-of-a-monomial-has-its-exponent-simplified
20m 3s
The derivative of a power of x over a binomial is integrated as an ar… F# Test #3391: Commit d0b8905 pushed by Rafael-SOWNet
26m 59s master
master
26m 59s
A power of a constant times a whole power of a polynomial is integrat… F# Test #3390: Commit 7269344 pushed by Rafael-SOWNet
11m 50s master
master
11m 50s
A function of x^n for a symbolic n beside a power of x is integrated … F# Test #3389: Commit d92add5 pushed by Rafael-SOWNet
7m 6s master
master
7m 6s
Four nested roots with a closed form are integrated F# Test #3388: Pull request #1787 opened by Rafael-SOWNet
4m 2s a-nested-root-is-integrated-in-the-quotient-it-is-the-derivative-of
a-nested-root-is-integrated-in-the-quotient-it-is-the-derivative-of
4m 2s
A power of a constant times a whole power of a polynomial is integrated as that power F# Test #3387: Pull request #1786 opened by Rafael-SOWNet
13m 9s a-power-of-a-constant-times-a-whole-power-of-a-sum-is-that-power
a-power-of-a-constant-times-a-whole-power-of-a-sum-is-that-power
13m 9s
The derivative of a power of x over a binomial is integrated as an arctangent over one plus a multiple of its square F# Test #3386: Pull request #1785 opened by Rafael-SOWNet
13m 59s a-power-of-x-over-a-binomial-under-its-squares-sum-is-an-arctangent
a-power-of-x-over-a-binomial-under-its-squares-sum-is-an-arctangent
13m 59s
A function of x^n for a symbolic n beside a power of x is integrated in a power of x F# Test #3385: Pull request #1784 opened by Rafael-SOWNet
13m 12s a-function-of-x-to-a-symbolic-power-is-integrated-in-that-power
a-function-of-x-to-a-symbolic-power-is-integrated-in-that-power
13m 12s
Arms no real coefficients reach are left out of a symbolic quadratic'… F# Test #3384: Commit 2b86349 pushed by Rafael-SOWNet
11m 2s master
master
11m 2s
Arms no real coefficients reach are left out of a symbolic quadratic's antiderivative F# Test #3383: Pull request #1783 opened by Rafael-SOWNet
4m 48s unreachable-arms-are-left-out-of-a-quadratic-denominators-antiderivative
unreachable-arms-are-left-out-of-a-quadratic-denominators-antiderivative
4m 48s
A power of x with a symbol in its exponent comes out of a sum, and an… F# Test #3382: Commit 9114959 pushed by Rafael-SOWNet
5m 59s master
master
5m 59s
A linear over a linear beside the root of a cubic binomial is integra… F# Test #3381: Commit b1af529 pushed by Rafael-SOWNet
5m 47s master
master
5m 47s
A power of x with a symbol in its exponent comes out of a sum, and an odd one out of a root past a quadratic F# Test #3380: Pull request #1782 opened by Rafael-SOWNet
5m 44s a-power-of-x-with-a-symbol-in-its-exponent-comes-out-of-a-sum
a-power-of-x-with-a-symbol-in-its-exponent-comes-out-of-a-sum
5m 44s
A linear over a linear beside the root of a cubic binomial is integrated where that is elementary F# Test #3379: Pull request #1781 opened by Rafael-SOWNet
7m 11s a-pseudo-elliptic-integral-over-a-cubic-binomial-is-integrated
a-pseudo-elliptic-integral-over-a-cubic-binomial-is-integrated
7m 11s
Two roots of linears over a linear off the real line are integrated (… F# Test #3378: Commit f6e1e30 pushed by Rafael-SOWNet
6m 8s master
master
6m 8s
A rational function of the tangent beside a power of a + i a tan is i… F# Test #3377: Commit b945b21 pushed by Rafael-SOWNet
7m 27s master
master
7m 27s
Two roots of linears over a linear off the real line are integrated F# Test #3376: Pull request #1780 opened by Rafael-SOWNet
7m 57s a-sign-arm-off-the-real-line-beside-two-roots
a-sign-arm-off-the-real-line-beside-two-roots
7m 57s
A rational function of the tangent beside a power of a + i a tan is integrated in that sum F# Test #3375: Pull request #1779 opened by Rafael-SOWNet
4m 49s a-rational-function-of-the-tangent-beside-a-power-of-a-plus-i-a-tan
a-rational-function-of-the-tangent-beside-a-power-of-a-plus-i-a-tan
4m 49s
a + i a tan below the bar is integrated beside a root of the tangent,… F# Test #3374: Commit 092b281 pushed by Rafael-SOWNet
3m 40s master
master
3m 40s