Skip to content

Actions: asc-community/AngouriMath

Actions

F# Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FSharpTest.yml
892 workflow runs
892 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 cost model reaches an API, not only an ambient setting (#1102) F# Test #2091: Commit 76c1b4e pushed by Rafael-SOWNet
Queued master
master
Queued
A real e-matcher: matching a pattern against an e-class, not a term F# Test #2090: Pull request #1103 synchronize by Rafael-SOWNet
3m 41s real-ematcher
real-ematcher
3m 41s
The e-graph moves from a harness into the kernel, behind an explicit … F# Test #2089: Commit 3a9930b pushed by Rafael-SOWNet
2m 28s master
master
2m 28s
A real e-matcher: matching a pattern against an e-class, not a term F# Test #2088: Pull request #1103 synchronize by Rafael-SOWNet
6m 21s real-ematcher
real-ematcher
6m 21s
A real e-matcher: matching a pattern against an e-class, not a term F# Test #2087: Pull request #1103 opened by Rafael-SOWNet
4m 8s real-ematcher
real-ematcher
4m 8s
The e-graph moves from a harness into the kernel, behind an explicit opt-in F# Test #2086: Pull request #1101 synchronize by Rafael-SOWNet
6m 5s tier2-inverse-pair-table
tier2-inverse-pair-table
6m 5s
The e-graph moves from a harness into the kernel, behind an explicit opt-in F# Test #2085: Pull request #1101 synchronize by Rafael-SOWNet
4m 58s tier2-inverse-pair-table
tier2-inverse-pair-table
4m 58s
A cost model reaches an API, not only an ambient setting F# Test #2084: Pull request #1102 opened by Rafael-SOWNet
3m 58s costmodel-simplification-api
costmodel-simplification-api
3m 58s
The e-graph moves from a harness into the kernel, behind an explicit opt-in F# Test #2083: Pull request #1101 opened by Rafael-SOWNet
3m 53s tier2-inverse-pair-table
tier2-inverse-pair-table
3m 53s
Add the 1844th performance column, and what two runs of one commit sa… F# Test #2082: Commit de7189b pushed by Rafael-SOWNet
3m 49s master
master
3m 49s
Add the 1844th performance column, and what two runs of one commit say about the timings F# Test #2081: Pull request #1099 opened by Rafael-SOWNet
4m 38s docs/the-1844th-performance-column
docs/the-1844th-performance-column
4m 38s
A widened codomain is written out, so Stringize round-trips it (#1048… F# Test #2080: Commit 55cd1a5 pushed by Rafael-SOWNet
5m 46s master
master
5m 46s
A widened codomain is written out, so Stringize round-trips it (#1048) F# Test #2079: Pull request #1098 synchronize by Rafael-SOWNet
5m 6s fix/any-codomain-is-writable-1048
fix/any-codomain-is-writable-1048
5m 6s
An equation between two powers of numeric bases is answered exactly (… F# Test #2078: Commit 540a38e pushed by Rafael-SOWNet
4m 19s master
master
4m 19s
A widened codomain is written out, so Stringize round-trips it (#1048) F# Test #2077: Pull request #1098 opened by Rafael-SOWNet
4m 36s fix/any-codomain-is-writable-1048
fix/any-codomain-is-writable-1048
4m 36s
An equation between two powers of numeric bases is answered exactly (#1007) F# Test #2076: Pull request #1097 opened by Rafael-SOWNet
3m 17s fix/exponential-two-bases-exact-1007
fix/exponential-two-bases-exact-1007
3m 17s
A fold over an empty sequence answers instead of throwing (#1028) (#1… F# Test #2075: Commit 262273b pushed by Rafael-SOWNet
3m 36s master
master
3m 36s
A fold over an empty sequence answers instead of throwing (#1028) F# Test #2074: Pull request #1096 synchronize by Rafael-SOWNet
6m 14s fix/empty-sequence-folds-1028
fix/empty-sequence-folds-1028
6m 14s
Factorize reaches inside a product the rules already made (#1095) F# Test #2073: Commit a2edfc3 pushed by Rafael-SOWNet
5m 52s master
master
5m 52s
A fold over an empty sequence answers instead of throwing (#1028) F# Test #2072: Pull request #1096 opened by Rafael-SOWNet
3m 40s fix/empty-sequence-folds-1028
fix/empty-sequence-folds-1028
3m 40s
Factorize reaches inside a product the rules already made F# Test #2071: Pull request #1095 opened by Rafael-SOWNet
5m 42s fix/factorize-reaches-inside-a-product
fix/factorize-reaches-inside-a-product
5m 42s
Factorize uses the polynomial layer where no rule reaches (#1018) (… F# Test #2070: Commit 5aad93d pushed by Rafael-SOWNet
4m 54s master
master
4m 54s
Factorize uses the polynomial layer where no rule reaches (#1018) F# Test #2069: Pull request #1094 synchronize by Rafael-SOWNet
10m 47s fix/factorize-uses-the-polynomial-layer
fix/factorize-uses-the-polynomial-layer
10m 47s
A factorisation multiplies back to what it factored (#1092) (#1093) F# Test #2068: Commit d33007f pushed by Rafael-SOWNet
7m 15s master
master
7m 15s
Factorize uses the polynomial layer where no rule reaches (#1018) F# Test #2067: Pull request #1094 opened by Rafael-SOWNet
8m 33s fix/factorize-uses-the-polynomial-layer
fix/factorize-uses-the-polynomial-layer
8m 33s