Skip to content

Actions: egraphs-good/egglog

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #260 from gussmith23/gussmith23/extract-doc Build #761: Commit 713078c pushed by oflatt
October 24, 2023 17:31 2m 37s main
main
October 24, 2023 17:31 2m 37s
Merge pull request #264 from kirstenmg/integer-math Build #760: Commit 135bf7f pushed by oflatt
October 24, 2023 17:30 2m 31s main
main
October 24, 2023 17:30 2m 31s
Add doctest to document extract() Build #759: Pull request #260 synchronize by gussmith23
October 23, 2023 22:04 2m 18s gussmith23:gussmith23/extract-doc
gussmith23:gussmith23/extract-doc
October 23, 2023 22:04 2m 18s
Add doctest to document extract() Build #758: Pull request #260 synchronize by gussmith23
October 23, 2023 20:35 3m 15s gussmith23:gussmith23/extract-doc
gussmith23:gussmith23/extract-doc
October 23, 2023 20:35 3m 15s
Add integer math test Build #757: Pull request #264 opened by kirstenmg
October 20, 2023 21:56 2m 49s kirstenmg:integer-math
kirstenmg:integer-math
October 20, 2023 21:56 2m 49s
Merge pull request #233 from oflatt/oflatt-fast-terms Build #756: Commit c741636 pushed by oflatt
October 20, 2023 18:09 2m 5s main
main
October 20, 2023 18:09 2m 5s
Merge pull request #263 from hatoo/print-size-all Build #755: Commit c7405d8 pushed by oflatt
October 20, 2023 01:00 1m 47s main
main
October 20, 2023 01:00 1m 47s
Support (print-size) to print all size of functions Build #754: Pull request #263 opened by hatoo
October 17, 2023 04:05 2m 7s hatoo:print-size-all
hatoo:print-size-all
October 17, 2023 04:05 2m 7s
Merge pull request #261 from hatoo/fix-bool-tag Build #753: Commit 959afb9 pushed by oflatt
October 16, 2023 18:23 1m 39s main
main
October 16, 2023 18:23 1m 39s
FIx bool's tag symbol Build #752: Pull request #261 opened by hatoo
October 15, 2023 05:16 1m 39s hatoo:fix-bool-tag
hatoo:fix-bool-tag
October 15, 2023 05:16 1m 39s
Add doctest to document extract() Build #751: Pull request #260 opened by gussmith23
October 13, 2023 03:08 1m 43s gussmith23:gussmith23/extract-doc
gussmith23:gussmith23/extract-doc
October 13, 2023 03:08 1m 43s
Merge pull request #254 from oflatt/oflatt-cleanup-lessthan Build #750: Commit a4559d2 pushed by oflatt
October 11, 2023 20:46 1m 43s main
main
October 11, 2023 20:46 1m 43s
Encoding equality saturation, including rebuilding and the union-find Build #749: Pull request #233 synchronize by oflatt
October 11, 2023 20:37 2m 52s oflatt:oflatt-fast-terms
oflatt:oflatt-fast-terms
October 11, 2023 20:37 2m 52s
Merge pull request #249 from oflatt/oflatt-documentation Build #748: Commit 91a82ff pushed by oflatt
October 11, 2023 19:36 1m 48s main
main
October 11, 2023 19:36 1m 48s
Clean up and migrate all documentation to cargo docs Build #747: Pull request #249 synchronize by oflatt
October 11, 2023 19:32 3m 36s oflatt:oflatt-documentation
oflatt:oflatt-documentation
October 11, 2023 19:32 3m 36s
Add booleans to egglog Build #746: Pull request #254 opened by oflatt
October 9, 2023 21:55 1m 54s oflatt:oflatt-cleanup-lessthan
oflatt:oflatt-cleanup-lessthan
October 9, 2023 21:55 1m 54s
Clean up and migrate all documentation to cargo docs Build #745: Pull request #249 synchronize by oflatt
October 4, 2023 22:49 2m 4s oflatt:oflatt-documentation
oflatt:oflatt-documentation
October 4, 2023 22:49 2m 4s
Merge pull request #242 from hatoo/fix-vec-extract Build #744: Commit 3c89b7c pushed by oflatt
October 4, 2023 19:59 1m 39s main
main
October 4, 2023 19:59 1m 39s
Merge pull request #247 from hatoo/update-fact Build #743: Commit e351d8f pushed by oflatt
October 4, 2023 19:56 1m 30s main
main
October 4, 2023 19:56 1m 30s
Omit default values when serializing primitive outputs Build #742: Pull request #248 opened by saulshanabrook
October 4, 2023 11:27 1m 20s saulshanabrook:omit-defaults
saulshanabrook:omit-defaults
October 4, 2023 11:27 1m 20s
Update Fact accept CallExpr instead of Expr Build #741: Pull request #247 opened by hatoo
October 4, 2023 05:17 2m 5s hatoo:update-fact
hatoo:update-fact
October 4, 2023 05:17 2m 5s
Fix query-extract for vec Build #740: Pull request #242 synchronize by hatoo
October 3, 2023 01:57 1m 37s hatoo:fix-vec-extract
hatoo:fix-vec-extract
October 3, 2023 01:57 1m 37s
Merge pull request #238 from saulshanabrook/patch-1 Build #739: Commit 45d05e7 pushed by oflatt
October 2, 2023 16:39 1m 44s main
main
October 2, 2023 16:39 1m 44s
Merge pull request #241 from oflatt/oflatt-fix-statistics-pop Build #738: Commit 18cd376 pushed by oflatt
October 2, 2023 16:38 3m 31s main
main
October 2, 2023 16:38 3m 31s
Merge pull request #245 from saulshanabrook/saulshanabrook/issue244 Build #737: Commit 1d86ab0 pushed by oflatt
October 2, 2023 16:36 1m 26s main
main
October 2, 2023 16:36 1m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-10-02 or the other filters available.