Skip to content

Actions: asc-community/AngouriMath

Actions

C#/Kernel Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CSharpBuild.yml
893 workflow runs
893 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 real e-matcher: matching a pattern against an e-class, not a term (… C#/Kernel Build #1756: Commit 77d1c70 pushed by Rafael-SOWNet
2m 33s master
master
2m 33s
A cost model reaches an API, not only an ambient setting (#1102) C#/Kernel Build #1755: Commit 76c1b4e pushed by Rafael-SOWNet
4m 46s master
master
4m 46s
A real e-matcher: matching a pattern against an e-class, not a term C#/Kernel Build #1754: Pull request #1103 synchronize by Rafael-SOWNet
4m 12s real-ematcher
real-ematcher
4m 12s
The e-graph moves from a harness into the kernel, behind an explicit … C#/Kernel Build #1753: Commit 3a9930b pushed by Rafael-SOWNet
4m 54s master
master
4m 54s
A real e-matcher: matching a pattern against an e-class, not a term C#/Kernel Build #1752: Pull request #1103 synchronize by Rafael-SOWNet
2m 47s real-ematcher
real-ematcher
2m 47s
A real e-matcher: matching a pattern against an e-class, not a term C#/Kernel Build #1751: Pull request #1103 opened by Rafael-SOWNet
3m 19s real-ematcher
real-ematcher
3m 19s
The e-graph moves from a harness into the kernel, behind an explicit opt-in C#/Kernel Build #1750: Pull request #1101 synchronize by Rafael-SOWNet
2m 57s tier2-inverse-pair-table
tier2-inverse-pair-table
2m 57s
The e-graph moves from a harness into the kernel, behind an explicit opt-in C#/Kernel Build #1749: Pull request #1101 synchronize by Rafael-SOWNet
2m 53s tier2-inverse-pair-table
tier2-inverse-pair-table
2m 53s
A cost model reaches an API, not only an ambient setting C#/Kernel Build #1748: Pull request #1102 opened by Rafael-SOWNet
3m 56s costmodel-simplification-api
costmodel-simplification-api
3m 56s
The e-graph moves from a harness into the kernel, behind an explicit opt-in C#/Kernel Build #1747: Pull request #1101 opened by Rafael-SOWNet
4m 12s tier2-inverse-pair-table
tier2-inverse-pair-table
4m 12s
Add the 1844th performance column, and what two runs of one commit sa… C#/Kernel Build #1746: Commit de7189b pushed by Rafael-SOWNet
4m 2s master
master
4m 2s
Add the 1844th performance column, and what two runs of one commit say about the timings C#/Kernel Build #1745: Pull request #1099 opened by Rafael-SOWNet
2m 45s docs/the-1844th-performance-column
docs/the-1844th-performance-column
2m 45s
A widened codomain is written out, so Stringize round-trips it (#1048… C#/Kernel Build #1744: Commit 55cd1a5 pushed by Rafael-SOWNet
4m 23s master
master
4m 23s
A widened codomain is written out, so Stringize round-trips it (#1048) C#/Kernel Build #1743: Pull request #1098 synchronize by Rafael-SOWNet
4m 40s fix/any-codomain-is-writable-1048
fix/any-codomain-is-writable-1048
4m 40s
An equation between two powers of numeric bases is answered exactly (… C#/Kernel Build #1742: Commit 540a38e pushed by Rafael-SOWNet
4m 29s master
master
4m 29s
A widened codomain is written out, so Stringize round-trips it (#1048) C#/Kernel Build #1741: Pull request #1098 opened by Rafael-SOWNet
2m 58s fix/any-codomain-is-writable-1048
fix/any-codomain-is-writable-1048
2m 58s
An equation between two powers of numeric bases is answered exactly (#1007) C#/Kernel Build #1740: Pull request #1097 opened by Rafael-SOWNet
2m 55s fix/exponential-two-bases-exact-1007
fix/exponential-two-bases-exact-1007
2m 55s
A fold over an empty sequence answers instead of throwing (#1028) (#1… C#/Kernel Build #1739: Commit 262273b pushed by Rafael-SOWNet
2m 38s master
master
2m 38s
A fold over an empty sequence answers instead of throwing (#1028) C#/Kernel Build #1738: Pull request #1096 synchronize by Rafael-SOWNet
4m 36s fix/empty-sequence-folds-1028
fix/empty-sequence-folds-1028
4m 36s
Factorize reaches inside a product the rules already made (#1095) C#/Kernel Build #1737: Commit a2edfc3 pushed by Rafael-SOWNet
2m 58s master
master
2m 58s
A fold over an empty sequence answers instead of throwing (#1028) C#/Kernel Build #1736: Pull request #1096 opened by Rafael-SOWNet
3m 4s fix/empty-sequence-folds-1028
fix/empty-sequence-folds-1028
3m 4s
Factorize reaches inside a product the rules already made C#/Kernel Build #1735: Pull request #1095 opened by Rafael-SOWNet
4m 6s fix/factorize-reaches-inside-a-product
fix/factorize-reaches-inside-a-product
4m 6s
Factorize uses the polynomial layer where no rule reaches (#1018) (… C#/Kernel Build #1734: Commit 5aad93d pushed by Rafael-SOWNet
5m 43s master
master
5m 43s
Factorize uses the polynomial layer where no rule reaches (#1018) C#/Kernel Build #1733: Pull request #1094 synchronize by Rafael-SOWNet
9m 42s fix/factorize-uses-the-polynomial-layer
fix/factorize-uses-the-polynomial-layer
9m 42s
A factorisation multiplies back to what it factored (#1092) (#1093) C#/Kernel Build #1732: Commit d33007f pushed by Rafael-SOWNet
9m 25s master
master
9m 25s