Skip to content

Actions: ASC-Community/AngouriMath

Actions

F# Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpBuild.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# Build #3113: Commit 05855f9 pushed by Rafael-SOWNet
5m 41s master
master
5m 41s
a + i a tan under a root beside the tangent's differential is lowered over its conjugate F# Build #3112: Pull request #1820 opened by Rafael-SOWNet
2m 59s an-imaginary-tangent-sum-cancels-against-the-tangents-differential
an-imaginary-tangent-sum-cancels-against-the-tangents-differential
2m 59s
A piecewise is defined where the case it takes is (#1819) F# Build #3111: Commit f8e9734 pushed by Rafael-SOWNet
1m 58s master
master
1m 58s
A piecewise is defined where the case it takes is F# Build #3110: Pull request #1819 opened by Rafael-SOWNet
4m 25s a-piecewise-is-defined-where-the-case-it-takes-is
a-piecewise-is-defined-where-the-case-it-takes-is
4m 25s
F# Build F# Build #3109: by Rafael-SOWNet
6m 35s master
master
6m 35s
A symbolic power of a + i a tan is gathered with the secant's in the sum F# Build #3108: Pull request #1818 opened by Rafael-SOWNet
5m 59s 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
5m 59s
An odd power of the secant is read in the tangent, with the cosine's … F# Build #3107: Commit c21de3e pushed by Rafael-SOWNet
2m 41s master
master
2m 41s
An odd power of the secant is read in the tangent, with the cosine's sign F# Build #3106: Pull request #1816 opened by Rafael-SOWNet
2m 3s 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
2m 3s
a + i a tan below an odd power of the secant is written over its conj… F# Build #3105: Commit c417571 pushed by Rafael-SOWNet
4m 38s master
master
4m 38s
a + i a tan below an odd power of the secant is written over its conjugate F# Build #3104: Pull request #1815 opened by Rafael-SOWNet
5m 42s 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
5m 42s
A power of the cosine beside a power of a + i a tan is read as one of… F# Build #3103: Commit c18738d pushed by Rafael-SOWNet
4m 58s master
master
4m 58s
A power of the cosine beside a power of a + i a tan is read as one of the secant F# Build #3102: Pull request #1814 opened by Rafael-SOWNet
3m 48s 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
3m 48s
An odd power of the secant over a whole power of a + i a tan is integ… F# Build #3101: Commit 8a310f7 pushed by Rafael-SOWNet
4m 9s master
master
4m 9s
An odd power of the secant over a whole power of a + i a tan is integrated in the sum F# Build #3100: Pull request #1813 opened by Rafael-SOWNet
1m 50s 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
1m 50s
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