Skip to content

Actions: asc-community/AngouriMath

Actions

F# Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpTest.yml
513 workflow runs
513 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
Let a connective settle what its truth table settles (#880) (#907) F# Test #1712: Commit 63bd11d pushed by Rafael-SOWNet
2m 46s master
master
2m 46s
Let a connective settle what its truth table settles (#880) F# Test #1711: Pull request #907 opened by Rafael-SOWNet
2m 45s fix/kleene-connectives
fix/kleene-connectives
2m 45s
Turn a negated difference round wherever it sits (#882) (#905) F# Test #1710: Commit 8c56b59 pushed by Rafael-SOWNet
3m 22s master
master
3m 22s
Turn a negated difference round wherever it sits (#882) F# Test #1709: Pull request #905 opened by Rafael-SOWNet
2m 24s fix/simplify-descends
fix/simplify-descends
2m 24s
Name a conditional set's binder rather than guessing it from a hash (… F# Test #1708: Commit fbf1dd7 pushed by Rafael-SOWNet
4m 39s master
master
4m 39s
Name a conditional set's binder rather than guessing it from a hash (#891) F# Test #1707: Pull request #904 synchronize by Rafael-SOWNet
3m 27s fix/conditional-set-binder
fix/conditional-set-binder
3m 27s
Stop pulling an exponent out of a logarithm over an undecided argumen… F# Test #1706: Commit cfabeab pushed by Rafael-SOWNet
5m 25s master
master
5m 25s
Fold abs where the sign of its argument is known (#881) (#901) F# Test #1705: Commit 6093741 pushed by Rafael-SOWNet
2m 35s master
master
2m 35s
Stop pulling an exponent out of a logarithm over an undecided argument (#902) F# Test #1704: Pull request #903 opened by Rafael-SOWNet
2m 42s fix/log-power-pull
fix/log-power-pull
2m 42s
Fold abs where the sign of its argument is known (#881) F# Test #1703: Pull request #901 synchronize by Rafael-SOWNet
3m 21s fix/abs-of-known-sign
fix/abs-of-known-sign
3m 21s
Point at the roadmap before a release, and at mathlib for a hypothesi… F# Test #1702: Commit 5397c6f pushed by Rafael-SOWNet
5m 2s master
master
5m 2s
Read abs and signum at zero, where both compositions are 0 (#892) (#899) F# Test #1701: Commit 64c8cfd pushed by Rafael-SOWNet
2m 25s master
master
2m 25s
Fold abs where the sign of its argument is known (#881) F# Test #1700: Pull request #901 opened by Rafael-SOWNet
2m 28s fix/abs-of-known-sign
fix/abs-of-known-sign
2m 28s
Point at the roadmap before a release, and at mathlib for a hypothesis F# Test #1699: Pull request #900 opened by Rafael-SOWNet
2m 50s docs/mathlib-as-ground-truth
docs/mathlib-as-ground-truth
2m 50s
Read abs and signum at zero, where both compositions are 0 (#892) F# Test #1698: Pull request #899 synchronize by Rafael-SOWNet
2m 46s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
2m 46s
Read abs and signum at zero, where both compositions are 0 (#892) F# Test #1697: Pull request #899 opened by Rafael-SOWNet
2m 39s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
2m 39s
Let Compile fail with its own exception rather than someone else's (#… F# Test #1696: Commit d8bfcd5 pushed by Rafael-SOWNet
2m 45s master
master
2m 45s
Let Compile fail with its own exception rather than someone else's (#894) F# Test #1695: Pull request #895 synchronize by Rafael-SOWNet
4m 2s fix/compile-exceptions
fix/compile-exceptions
4m 2s
Make a logarithm behave like the division it is defined as (#890) (#893) F# Test #1694: Commit ca8e9f5 pushed by Rafael-SOWNet
3m 54s master
master
3m 54s
Make a logarithm behave like the division it is defined as (#890) F# Test #1693: Pull request #893 synchronize by Rafael-SOWNet
3m 55s fix/log-base-one
fix/log-base-one
3m 55s
Let Compile fail with its own exception rather than someone else's (#894) F# Test #1692: Pull request #895 synchronize by Rafael-SOWNet
4m 28s fix/compile-exceptions
fix/compile-exceptions
4m 28s
Read arccotan's range off arccotan rather than off a textbook (#887) … F# Test #1691: Commit 7e1a8ea pushed by Rafael-SOWNet
9m 17s master
master
9m 17s
Stop the F# wrapper hardcoding its documentation path (#889) F# Test #1690: Commit bf0e031 pushed by Rafael-SOWNet
4m 48s master
master
4m 48s
Write down what a simplification rule may assume (#886) F# Test #1689: Commit 5f7dbe2 pushed by Rafael-SOWNet
9m 0s master
master
9m 0s
Let Compile fail with its own exception rather than someone else's (#894) F# Test #1688: Pull request #895 opened by Rafael-SOWNet
3m 24s fix/compile-exceptions
fix/compile-exceptions
3m 24s