Skip to content

Actions: ASC-Community/AngouriMath

Actions

F# Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpBuild.yml
2,236 workflow runs
2,236 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 power of the secant beside a power of a + i a tan is integrated in … F# Build #3099: Commit b3ac1e8 pushed by Rafael-SOWNet
2m 41s master
master
2m 41s
A power of the secant beside a power of a + i a tan is integrated in the sum, whatever the powers F# Build #3098: Pull request #1812 opened by Rafael-SOWNet
2m 43s 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
2m 43s
A substitution under a binder neither captures the value nor passes o… F# Build #3097: Commit db33ae1 pushed by Rafael-SOWNet
12m 59s master
master
12m 59s
The floor and the ceiling of a rational are exact whatever its size (… F# Build #3096: Commit 138f714 pushed by Rafael-SOWNet
4m 42s master
master
4m 42s
A quotient in x^2 over a power of a linear in x^2 and a biquadratic i… F# Build #3095: Commit 1991692 pushed by Rafael-SOWNet
7m 46s master
master
7m 46s
A substitution under a binder neither captures the value nor passes over a body without the target F# Build #3094: Pull request #1811 opened by Rafael-SOWNet
3m 59s a-substitution-under-a-binder-skips-a-body-without-the-target
a-substitution-under-a-binder-skips-a-body-without-the-target
3m 59s
The floor and the ceiling of a rational are exact whatever its size F# Build #3093: Pull request #1810 opened by Rafael-SOWNet
6m 8s an-exact-rational-is-floored-from-its-numerator-and-denominator
an-exact-rational-is-floored-from-its-numerator-and-denominator
6m 8s
A quotient in x^2 over a power of a linear in x^2 and a biquadratic is split in x^2 F# Build #3092: Pull request #1809 opened by Rafael-SOWNet
2m 52s 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
2m 52s
A quotient in x^2 over a power of x and a biquadratic is split in x^2… F# Build #3091: Commit 2d3dc6a pushed by Rafael-SOWNet
2m 38s master
master
2m 38s
A quotient in x^2 over a power of x and a biquadratic is split in x^2 F# Build #3090: Pull request #1806 opened by Rafael-SOWNet
4m 54s 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 54s
The tangent substitution, and a linear one, ask the same question (#1… F# Build #3089: Commit 0630504 pushed by Rafael-SOWNet
4m 13s master
master
4m 13s
The tangent substitution, and a linear one, ask the same question F# Build #3088: Pull request #1802 synchronize by Rafael-SOWNet
5m 2s a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
5m 2s
An odd half power of a quadratic with i in it is reduced as one witho… F# Build #3087: Commit ecab3f7 pushed by Rafael-SOWNet
19m 28s master
master
19m 28s
A sum of two squares below the bar, beside a repeated factor, is spli… F# Build #3086: Commit ba77f7a pushed by Rafael-SOWNet
14m 3s master
master
14m 3s
A sum that is the derivative of a product of powers is read as one (#… F# Build #3085: Commit 54c1d10 pushed by Rafael-SOWNet
1m 54s master
master
1m 54s
A root over a number times 1 + i tan(z) is integrated as it is over a… F# Build #3084: Commit b3e736e pushed by Rafael-SOWNet
3m 35s master
master
3m 35s
An odd half power of a quadratic with i in it is reduced as one without F# Build #3083: Pull request #1805 opened by Rafael-SOWNet
52m 16s an-odd-half-power-of-a-quadratic-off-the-real-line-is-reduced
an-odd-half-power-of-a-quadratic-off-the-real-line-is-reduced
52m 16s
A sum of two squares below the bar, beside a repeated factor, is split over its conjugates F# Build #3082: Pull request #1804 opened by Rafael-SOWNet
18m 33s a-sum-of-two-squares-below-the-bar-is-split-over-its-conjugates
a-sum-of-two-squares-below-the-bar-is-split-over-its-conjugates
18m 33s
A sum that is the derivative of a product of powers is read as one F# Build #3081: Pull request #1803 opened by Rafael-SOWNet
20m 7s a-sum-that-is-the-derivative-of-a-product-of-powers-is-read-as-one
a-sum-that-is-the-derivative-of-a-product-of-powers-is-read-as-one
20m 7s
The tangent substitution, and a linear one, ask the same question F# Build #3080: Pull request #1802 opened by Rafael-SOWNet
28m 3s a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
a-linear-substitution-and-the-tangent-substitution-ask-the-same-question
28m 3s
A root over a number times 1 + i tan(z) is integrated as it is over a + i a tan(z) F# Build #3079: Pull request #1801 opened by Rafael-SOWNet
23m 45s a-shared-root-off-the-real-line-is-taken-out-beside-a-root
a-shared-root-off-the-real-line-is-taken-out-beside-a-root
23m 45s
A power of x shared by the numerator and every term of a sum below th… F# Build #3078: Commit e29b612 pushed by Rafael-SOWNet
10m 41s master
master
10m 41s
A power of x shared by the numerator and every term of a sum below the bar is cancelled F# Build #3077: Pull request #1800 opened by Rafael-SOWNet
10m 8s a-zeroth-power-of-the-variable-is-one-to-the-integrator
a-zeroth-power-of-the-variable-is-one-to-the-integrator
10m 8s
The arm for a quadratic off the real line excludes the arms on the si… F# Build #3076: Commit fa6fed4 pushed by Rafael-SOWNet
5m 1s master
master
5m 1s
The arm for a quadratic off the real line excludes the arms on the sign of its discriminant F# Build #3075: Pull request #1799 opened by Rafael-SOWNet
2m 27s an-arm-off-the-real-line-excludes-a-sign-arm
an-arm-off-the-real-line-excludes-a-sign-arm
2m 27s