Skip to content

Actions: asc-community/AngouriMath

Actions

C# Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CSharpTest.yml
509 workflow runs
509 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
Name a conditional set's binder rather than guessing it from a hash (… C# Test #1373: Commit fbf1dd7 pushed by Rafael-SOWNet
13m 27s master
master
13m 27s
Name a conditional set's binder rather than guessing it from a hash (#891) C# Test #1372: Pull request #904 synchronize by Rafael-SOWNet
13m 11s fix/conditional-set-binder
fix/conditional-set-binder
13m 11s
Stop pulling an exponent out of a logarithm over an undecided argumen… C# Test #1371: Commit cfabeab pushed by Rafael-SOWNet
17m 57s master
master
17m 57s
Fold abs where the sign of its argument is known (#881) (#901) C# Test #1370: Commit 6093741 pushed by Rafael-SOWNet
13m 49s master
master
13m 49s
Stop pulling an exponent out of a logarithm over an undecided argument (#902) C# Test #1369: Pull request #903 opened by Rafael-SOWNet
13m 43s fix/log-power-pull
fix/log-power-pull
13m 43s
Fold abs where the sign of its argument is known (#881) C# Test #1368: Pull request #901 synchronize by Rafael-SOWNet
16m 41s fix/abs-of-known-sign
fix/abs-of-known-sign
16m 41s
Point at the roadmap before a release, and at mathlib for a hypothesi… C# Test #1367: Commit 5397c6f pushed by Rafael-SOWNet
16m 52s master
master
16m 52s
Read abs and signum at zero, where both compositions are 0 (#892) (#899) C# Test #1366: Commit 64c8cfd pushed by Rafael-SOWNet
12m 53s master
master
12m 53s
Fold abs where the sign of its argument is known (#881) C# Test #1365: Pull request #901 opened by Rafael-SOWNet
14m 1s fix/abs-of-known-sign
fix/abs-of-known-sign
14m 1s
Point at the roadmap before a release, and at mathlib for a hypothesis C# Test #1364: Pull request #900 opened by Rafael-SOWNet
13m 21s docs/mathlib-as-ground-truth
docs/mathlib-as-ground-truth
13m 21s
Read abs and signum at zero, where both compositions are 0 (#892) C# Test #1363: Pull request #899 synchronize by Rafael-SOWNet
12m 40s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
12m 40s
Read abs and signum at zero, where both compositions are 0 (#892) C# Test #1362: Pull request #899 opened by Rafael-SOWNet
15m 18s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
15m 18s
Let Compile fail with its own exception rather than someone else's (#… C# Test #1361: Commit d8bfcd5 pushed by Rafael-SOWNet
13m 20s master
master
13m 20s
Let Compile fail with its own exception rather than someone else's (#894) C# Test #1360: Pull request #895 synchronize by Rafael-SOWNet
14m 35s fix/compile-exceptions
fix/compile-exceptions
14m 35s
Make a logarithm behave like the division it is defined as (#890) (#893) C# Test #1359: Commit ca8e9f5 pushed by Rafael-SOWNet
11m 5s master
master
11m 5s
Make a logarithm behave like the division it is defined as (#890) C# Test #1358: Pull request #893 synchronize by Rafael-SOWNet
16m 12s fix/log-base-one
fix/log-base-one
16m 12s
Let Compile fail with its own exception rather than someone else's (#894) C# Test #1357: Pull request #895 synchronize by Rafael-SOWNet
15m 6s fix/compile-exceptions
fix/compile-exceptions
15m 6s
Read arccotan's range off arccotan rather than off a textbook (#887) … C# Test #1356: Commit 7e1a8ea pushed by Rafael-SOWNet
19m 9s master
master
19m 9s
Stop the F# wrapper hardcoding its documentation path (#889) C# Test #1355: Commit bf0e031 pushed by Rafael-SOWNet
16m 20s master
master
16m 20s
Write down what a simplification rule may assume (#886) C# Test #1354: Commit 5f7dbe2 pushed by Rafael-SOWNet
14m 46s master
master
14m 46s
Let Compile fail with its own exception rather than someone else's (#894) C# Test #1353: Pull request #895 opened by Rafael-SOWNet
14m 55s fix/compile-exceptions
fix/compile-exceptions
14m 55s
Make a logarithm behave like the division it is defined as (#890) C# Test #1352: Pull request #893 opened by Rafael-SOWNet
13m 49s fix/log-base-one
fix/log-base-one
13m 49s
Stop the F# wrapper hardcoding its documentation path C# Test #1351: Pull request #889 opened by Rafael-SOWNet
14m 23s fix/fsharp-doc-path
fix/fsharp-doc-path
14m 23s
Read arccotan's range off arccotan rather than off a textbook (#887) C# Test #1350: Pull request #888 opened by Rafael-SOWNet
14m 10s fix/arccotan-range
fix/arccotan-range
14m 10s
Write down what a simplification rule may assume C# Test #1349: Pull request #886 opened by Rafael-SOWNet
14m 39s docs/simplification-contract
docs/simplification-contract
14m 39s