Skip to content

Actions: ASC-Community/AngouriMath

Actions

F# Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpBuild.yml
2,226 workflow runs
2,226 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 rational function of the tangent beside a power of a + i a tan is integrated in that sum F# Build #3039: Pull request #1779 opened by Rafael-SOWNet
5m 9s 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
5m 9s
a + i a tan below the bar is integrated beside a root of the tangent,… F# Build #3038: Commit 092b281 pushed by Rafael-SOWNet
4m 10s master
master
4m 10s
Two proportional linears are not divided by their zero determinant (#… F# Build #3037: Commit 9f987f3 pushed by Rafael-SOWNet
7m 52s master
master
7m 52s
A power of a linear plus a root whose square matches it is integrated… F# Build #3036: Commit d563958 pushed by Rafael-SOWNet
12m 14s master
master
12m 14s
a + i a tan below the bar is integrated beside a root of the tangent, and beside q - i q tan above it F# Build #3035: Pull request #1778 opened by Rafael-SOWNet
11m 57s a-root-of-the-tangent-is-not-written-in-exponentials
a-root-of-the-tangent-is-not-written-in-exponentials
11m 57s
Two proportional linears are not divided by their zero determinant F# Build #3034: Pull request #1777 opened by Rafael-SOWNet
5m 6s proportional-linears-are-not-divided-by-their-zero-determinant
proportional-linears-are-not-divided-by-their-zero-determinant
5m 6s
A power of a linear plus a root whose square matches it is integrated in their sum F# Build #3033: Pull request #1775 opened by Rafael-SOWNet
3m 4s a-linear-plus-a-root-of-a-quadratic-is-eulers-variable
a-linear-plus-a-root-of-a-quadratic-is-eulers-variable
3m 4s
A whole power of the radicand under Euler's substitution is read as o… F# Build #3032: Commit 4105b3b pushed by Rafael-SOWNet
4m 2s master
master
4m 2s
A difference is offered to the substitution search as a sum is (#1773) F# Build #3031: Commit c313b24 pushed by Rafael-SOWNet
7m 18s master
master
7m 18s
A power of a constant below 1e-50 is no longer simplified to zero (#1… F# Build #3030: Commit 3a60557 pushed by Rafael-SOWNet
4m 59s master
master
4m 59s
A whole power of the radicand under Euler's substitution is read as one F# Build #3029: Pull request #1774 opened by Rafael-SOWNet
21m 25s a-whole-power-of-the-radicand-is-not-read-as-one-of-its-root
a-whole-power-of-the-radicand-is-not-read-as-one-of-its-root
21m 25s
A function of a quotient of two linears is integrated over the quotie… F# Build #3028: Commit b82ab99 pushed by Rafael-SOWNet
19m 31s master
master
19m 31s
A difference is offered to the substitution search as a sum is F# Build #3027: Pull request #1773 opened by Rafael-SOWNet
9m 11s a-difference-is-offered-for-substitution-as-a-sum-is
a-difference-is-offered-for-substitution-as-a-sum-is
9m 11s
A power of a constant below 1e-50 is no longer simplified to zero F# Build #3026: Pull request #1772 opened by Rafael-SOWNet
18m 24s a-product-of-nonzero-numbers-is-not-rounded-to-zero
a-product-of-nonzero-numbers-is-not-rounded-to-zero
18m 24s
A function of a quotient of two linears is integrated over the quotient's denominator F# Build #3025: Pull request #1771 opened by Rafael-SOWNet
10m 18s a-function-of-a-quotient-of-linears-is-written-over-the-denominator
a-function-of-a-quotient-of-linears-is-written-over-the-denominator
10m 18s
Two tangents of arguments a constant apart are written apart (#1767) F# Build #3024: Commit 85d6601 pushed by Rafael-SOWNet
15m 44s master
master
15m 44s
A trigonometric function times its reciprocal is integrated (#1768) F# Build #3023: Commit 9d8662d pushed by Rafael-SOWNet
4m 45s master
master
4m 45s
A trigonometric function times its reciprocal is integrated F# Build #3022: Pull request #1768 synchronize by Rafael-SOWNet
37m 41s a-trigonometric-function-times-its-reciprocal-is-integrated
a-trigonometric-function-times-its-reciprocal-is-integrated
37m 41s
Two tangents of arguments a constant apart are written apart F# Build #3021: Pull request #1767 synchronize by Rafael-SOWNet
13m 46s two-tangents-of-shifted-arguments-are-written-apart
two-tangents-of-shifted-arguments-are-written-apart
13m 46s
A constant plus an imaginary cosine and sine is an exponential (#1766) F# Build #3020: Commit 18038b0 pushed by Rafael-SOWNet
41m 19s master
master
41m 19s
A root of a square in a trigonometric function is its modulus (#1765) F# Build #3019: Commit a883374 pushed by Rafael-SOWNet
35m 2s master
master
35m 2s
A piecewise case whose condition is undefined is passed over (#1764) F# Build #3018: Commit a88080e pushed by Rafael-SOWNet
5m 35s master
master
5m 35s
A trigonometric function times its reciprocal is integrated F# Build #3017: Pull request #1768 opened by Rafael-SOWNet
29m 57s a-trigonometric-function-times-its-reciprocal-is-integrated
a-trigonometric-function-times-its-reciprocal-is-integrated
29m 57s
Two tangents of arguments a constant apart are written apart F# Build #3016: Pull request #1767 opened by Rafael-SOWNet
47m 12s two-tangents-of-shifted-arguments-are-written-apart
two-tangents-of-shifted-arguments-are-written-apart
47m 12s
A root of a square in a trigonometric function is its modulus F# Build #3015: Pull request #1765 synchronize by Rafael-SOWNet
27m 6s a-root-of-a-square-in-a-trigonometric-function-is-its-modulus
a-root-of-a-square-in-a-trigonometric-function-is-its-modulus
27m 6s