Skip to content

Actions: asc-community/AngouriMath

Actions

Kernel Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Benchmark.yml
234 workflow runs
234 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
Read abs and signum at zero, where both compositions are 0 (#892) (#899) Kernel Benchmark #1616: Commit 64c8cfd pushed by Rafael-SOWNet
14m 24s master
master
14m 24s
Fold abs where the sign of its argument is known (#881) Kernel Benchmark #1615: Pull request #901 opened by Rafael-SOWNet
10m 8s fix/abs-of-known-sign
fix/abs-of-known-sign
10m 8s
Point at the roadmap before a release, and at mathlib for a hypothesis Kernel Benchmark #1614: Pull request #900 opened by Rafael-SOWNet
11m 27s docs/mathlib-as-ground-truth
docs/mathlib-as-ground-truth
11m 27s
Read abs and signum at zero, where both compositions are 0 (#892) Kernel Benchmark #1613: Pull request #899 synchronize by Rafael-SOWNet
9m 59s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
9m 59s
Read abs and signum at zero, where both compositions are 0 (#892) Kernel Benchmark #1612: Pull request #899 opened by Rafael-SOWNet
10m 1s fix/abs-sgn-at-zero
fix/abs-sgn-at-zero
10m 1s
Let Compile fail with its own exception rather than someone else's (#… Kernel Benchmark #1611: Commit d8bfcd5 pushed by Rafael-SOWNet
10m 48s master
master
10m 48s
Let Compile fail with its own exception rather than someone else's (#894) Kernel Benchmark #1610: Pull request #895 synchronize by Rafael-SOWNet
10m 18s fix/compile-exceptions
fix/compile-exceptions
10m 18s
Make a logarithm behave like the division it is defined as (#890) (#893) Kernel Benchmark #1609: Commit ca8e9f5 pushed by Rafael-SOWNet
10m 47s master
master
10m 47s
Make a logarithm behave like the division it is defined as (#890) Kernel Benchmark #1608: Pull request #893 synchronize by Rafael-SOWNet
9m 54s fix/log-base-one
fix/log-base-one
9m 54s
Let Compile fail with its own exception rather than someone else's (#894) Kernel Benchmark #1607: Pull request #895 synchronize by Rafael-SOWNet
12m 2s fix/compile-exceptions
fix/compile-exceptions
12m 2s
Read arccotan's range off arccotan rather than off a textbook (#887) … Kernel Benchmark #1606: Commit 7e1a8ea pushed by Rafael-SOWNet
14m 25s master
master
14m 25s
Write down what a simplification rule may assume (#886) Kernel Benchmark #1605: Commit 5f7dbe2 pushed by Rafael-SOWNet
9m 46s master
master
9m 46s
Let Compile fail with its own exception rather than someone else's (#894) Kernel Benchmark #1604: Pull request #895 opened by Rafael-SOWNet
9m 49s fix/compile-exceptions
fix/compile-exceptions
9m 49s
Make a logarithm behave like the division it is defined as (#890) Kernel Benchmark #1603: Pull request #893 opened by Rafael-SOWNet
9m 36s fix/log-base-one
fix/log-base-one
9m 36s
Read arccotan's range off arccotan rather than off a textbook (#887) Kernel Benchmark #1602: Pull request #888 opened by Rafael-SOWNet
10m 26s fix/arccotan-range
fix/arccotan-range
10m 26s
Write down what a simplification rule may assume Kernel Benchmark #1601: Pull request #886 opened by Rafael-SOWNet
11m 20s docs/simplification-contract
docs/simplification-contract
11m 20s
Cancel an inverse trigonometric function only on its own branch (#884… Kernel Benchmark #1600: Commit 6cd6c08 pushed by Rafael-SOWNet
10m 48s master
master
10m 48s
Cancel an inverse trigonometric function only on its own branch (#884) Kernel Benchmark #1599: Pull request #885 opened by Rafael-SOWNet
10m 31s fix/principal-branch-identities
fix/principal-branch-identities
10m 31s
Carry the condition an order comparison is decided under (#876), and … Kernel Benchmark #1598: Commit 35f4ae5 pushed by Rafael-SOWNet
10m 58s master
master
10m 58s
Carry the condition an order comparison is decided under (#876), and read a set-builder's predicate inside its binder (#878) Kernel Benchmark #1597: Pull request #879 synchronize by Rafael-SOWNet
9m 32s fix/comparison-truth-condition
fix/comparison-truth-condition
9m 32s
Hold excluded middle whichever operand carries the negation (#876) (#… Kernel Benchmark #1596: Commit 89d96c3 pushed by Rafael-SOWNet
10m 21s master
master
10m 21s
Hold excluded middle whichever operand carries the negation (#876) Kernel Benchmark #1595: Pull request #877 opened by Rafael-SOWNet
10m 16s fix/excluded-middle-handedness
fix/excluded-middle-handedness
10m 16s
Remove FutureReleaseException, which turned known gaps into bug repor… Kernel Benchmark #1594: Commit c4a2f2f pushed by Rafael-SOWNet
11m 0s master
master
11m 0s
Remove FutureReleaseException, which turned known gaps into bug reports Kernel Benchmark #1593: Pull request #872 opened by Rafael-SOWNet
10m 19s fix/no-future-release-exception
fix/no-future-release-exception
10m 19s
Take a repeated rational root out of a denominator all at once (#871) Kernel Benchmark #1592: Commit 55c74c4 pushed by Rafael-SOWNet
10m 7s master
master
10m 7s