Skip to content

Actions: ASC-Community/AngouriMath

Actions

F# Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpTest.yml
2,250 workflow runs
2,250 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 + i a tan beside the tangent's differential is lowered over its con… F# Test #3449: Commit 05855f9 pushed by Rafael-SOWNet
4m 29s master
master
4m 29s
a + i a tan under a root beside the tangent's differential is lowered over its conjugate F# Test #3448: Pull request #1820 opened by Rafael-SOWNet
7m 47s an-imaginary-tangent-sum-cancels-against-the-tangents-differential
an-imaginary-tangent-sum-cancels-against-the-tangents-differential
7m 47s
A piecewise is defined where the case it takes is (#1819) F# Test #3447: Commit f8e9734 pushed by Rafael-SOWNet
4m 38s master
master
4m 38s
A piecewise is defined where the case it takes is F# Test #3446: Pull request #1819 opened by Rafael-SOWNet
4m 58s a-piecewise-is-defined-where-the-case-it-takes-is
a-piecewise-is-defined-where-the-case-it-takes-is
4m 58s
F# Test F# Test #3445: by Rafael-SOWNet
9m 16s master
master
9m 16s
A symbolic power of a + i a tan is gathered with the secant's in the sum F# Test #3444: Pull request #1818 opened by Rafael-SOWNet
7m 22s a-power-of-an-imaginary-tangent-sum-is-gathered-with-the-secants-in-the-sum
a-power-of-an-imaginary-tangent-sum-is-gathered-with-the-secants-in-the-sum
7m 22s
An odd power of the secant is read in the tangent, with the cosine's … F# Test #3443: Commit c21de3e pushed by Rafael-SOWNet
7m 29s master
master
7m 29s
An odd power of the secant is read in the tangent, with the cosine's sign F# Test #3442: Pull request #1816 opened by Rafael-SOWNet
4m 40s an-odd-power-of-the-secant-is-read-in-the-tangent-with-the-cosines-sign
an-odd-power-of-the-secant-is-read-in-the-tangent-with-the-cosines-sign
4m 40s
a + i a tan below an odd power of the secant is written over its conj… F# Test #3441: Commit c417571 pushed by Rafael-SOWNet
7m 27s master
master
7m 27s
a + i a tan below an odd power of the secant is written over its conjugate F# Test #3440: Pull request #1815 opened by Rafael-SOWNet
3m 45s an-imaginary-tangent-sum-below-a-whole-power-is-written-over-its-conjugate
an-imaginary-tangent-sum-below-a-whole-power-is-written-over-its-conjugate
3m 45s
A power of the cosine beside a power of a + i a tan is read as one of… F# Test #3439: Commit c18738d pushed by Rafael-SOWNet
6m 18s master
master
6m 18s
A power of the cosine beside a power of a + i a tan is read as one of the secant F# Test #3438: Pull request #1814 opened by Rafael-SOWNet
8m 12s a-power-of-the-cosine-below-a-power-of-an-imaginary-tangent-sum-is-read-as-the-secants
a-power-of-the-cosine-below-a-power-of-an-imaginary-tangent-sum-is-read-as-the-secants
8m 12s
An odd power of the secant over a whole power of a + i a tan is integ… F# Test #3437: Commit 8a310f7 pushed by Rafael-SOWNet
3m 53s master
master
3m 53s
An odd power of the secant over a whole power of a + i a tan is integrated in the sum F# Test #3436: Pull request #1813 opened by Rafael-SOWNet
4m 47s a-whole-power-of-the-secant-over-a-whole-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
a-whole-power-of-the-secant-over-a-whole-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
4m 47s
A power of the secant beside a power of a + i a tan is integrated in … F# Test #3435: Commit b3ac1e8 pushed by Rafael-SOWNet
7m 19s master
master
7m 19s
A power of the secant beside a power of a + i a tan is integrated in the sum, whatever the powers F# Test #3434: Pull request #1812 opened by Rafael-SOWNet
6m 2s a-power-of-the-secant-beside-a-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
a-power-of-the-secant-beside-a-power-of-an-imaginary-tangent-sum-is-integrated-in-the-sum
6m 2s
A substitution under a binder neither captures the value nor passes o… F# Test #3433: Commit db33ae1 pushed by Rafael-SOWNet
11m 27s master
master
11m 27s
The floor and the ceiling of a rational are exact whatever its size (… F# Test #3432: Commit 138f714 pushed by Rafael-SOWNet
5m 25s master
master
5m 25s
A quotient in x^2 over a power of a linear in x^2 and a biquadratic i… F# Test #3431: Commit 1991692 pushed by Rafael-SOWNet
8m 6s master
master
8m 6s
A substitution under a binder neither captures the value nor passes over a body without the target F# Test #3430: Pull request #1811 opened by Rafael-SOWNet
5m 50s a-substitution-under-a-binder-skips-a-body-without-the-target
a-substitution-under-a-binder-skips-a-body-without-the-target
5m 50s
The floor and the ceiling of a rational are exact whatever its size F# Test #3429: Pull request #1810 opened by Rafael-SOWNet
4m 39s an-exact-rational-is-floored-from-its-numerator-and-denominator
an-exact-rational-is-floored-from-its-numerator-and-denominator
4m 39s
A quotient in x^2 over a power of a linear in x^2 and a biquadratic is split in x^2 F# Test #3428: Pull request #1809 opened by Rafael-SOWNet
7m 13s an-even-quotient-over-a-power-of-a-linear-in-x-squared-is-split-in-x-squared
an-even-quotient-over-a-power-of-a-linear-in-x-squared-is-split-in-x-squared
7m 13s
A quotient in x^2 over a power of x and a biquadratic is split in x^2… F# Test #3427: Commit 2d3dc6a pushed by Rafael-SOWNet
6m 54s master
master
6m 54s
A quotient in x^2 over a power of x and a biquadratic is split in x^2 F# Test #3426: Pull request #1806 opened by Rafael-SOWNet
4m 3s an-even-quotient-over-a-power-of-x-and-a-biquadratic-is-split-in-x-squared
an-even-quotient-over-a-power-of-x-and-a-biquadratic-is-split-in-x-squared
4m 3s
The tangent substitution, and a linear one, ask the same question (#1… F# Test #3425: Commit 0630504 pushed by Rafael-SOWNet
7m 49s master
master
7m 49s