Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
777 workflow runs
777 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to ruff preview formatting
CI #547: Pull request #122 synchronize by pre-commit-ci bot
February 16, 2024 21:31 15m 1s preview-format
February 16, 2024 21:31 15m 1s
Switch to ruff preview formatting
CI #546: Pull request #122 opened by saulshanabrook
February 16, 2024 21:31 17s preview-format
February 16, 2024 21:31 17s
February 16, 2024 21:11 8m 42s
Merge pull request #121 from egraphs-good/better-error-messages
CI #544: Commit 2812a4a pushed by saulshanabrook
February 16, 2024 16:39 13m 32s main
February 16, 2024 16:39 13m 32s
[pre-commit.ci] pre-commit autoupdate
CI #542: Pull request #120 opened by pre-commit-ci bot
February 12, 2024 23:21 12m 12s pre-commit-ci-update-config
February 12, 2024 23:21 12m 12s
Merge pull request #116 from egraphs-good/add-descendents
CI #541: Commit e25523c pushed by saulshanabrook
February 7, 2024 16:05 10m 27s main
February 7, 2024 16:05 10m 27s
Add descendents function
CI #540: Pull request #116 opened by saulshanabrook
February 7, 2024 15:57 9m 45s add-descendents
February 7, 2024 15:57 9m 45s
Merge pull request #115 from egraphs-good/lint-tests
CI #539: Commit 5f3c55e pushed by saulshanabrook
February 7, 2024 04:31 12m 58s main
February 7, 2024 04:31 12m 58s
Lint and format tests
CI #538: Pull request #115 opened by saulshanabrook
February 7, 2024 02:04 8m 26s lint-tests
February 7, 2024 02:04 8m 26s
Merge pull request #114 from egraphs-good/upgrade-deps1
CI #537: Commit 6189a38 pushed by saulshanabrook
February 7, 2024 01:38 13m 26s main
February 7, 2024 01:38 13m 26s
Upgrade all dependencies
CI #536: Pull request #114 synchronize by saulshanabrook
February 7, 2024 01:18 9m 14s upgrade-deps1
February 7, 2024 01:18 9m 14s
Upgrade all dependencies
CI #535: Pull request #114 synchronize by saulshanabrook
February 7, 2024 01:16 2m 23s upgrade-deps1
February 7, 2024 01:16 2m 23s
Upgrade all dependencies
CI #534: Pull request #114 opened by saulshanabrook
February 7, 2024 00:39 5m 51s upgrade-deps1
February 7, 2024 00:39 5m 51s
Version 6.0.0
CI #533: Commit c9613bc pushed by saulshanabrook
February 6, 2024 22:15 11m 49s v6.0.0
February 6, 2024 22:15 11m 49s
Version 6.0.0
CI #532: Commit c9613bc pushed by saulshanabrook
February 6, 2024 22:15 15m 46s main
February 6, 2024 22:15 15m 46s
Merge pull request #112 from egraphs-good/change
CI #531: Commit 9b19dfd pushed by saulshanabrook
February 6, 2024 22:13 2m 32s main
February 6, 2024 22:13 2m 32s
Verify functions are defined separately between popping
CI #530: Pull request #112 opened by saulshanabrook
February 6, 2024 22:10 12m 45s change
February 6, 2024 22:10 12m 45s
February 6, 2024 22:07 6m 12s
Merge pull request #111 from egraphs-good/change
CI #528: Commit 5b894e0 pushed by saulshanabrook
February 6, 2024 22:07 24s main
February 6, 2024 22:07 24s
Support creating functions, classes, and rulesets away from EGraph
CI #527: Pull request #111 synchronize by saulshanabrook
February 6, 2024 22:00 13m 4s change
February 6, 2024 22:00 13m 4s
Support creating functions, classes, and rulesets away from EGraph
CI #526: Pull request #111 synchronize by saulshanabrook
February 6, 2024 20:56 11m 51s change
February 6, 2024 20:56 11m 51s
Support creating functions, classes, and rulesets away from EGraph
CI #525: Pull request #111 synchronize by saulshanabrook
February 6, 2024 03:27 7m 59s change
February 6, 2024 03:27 7m 59s
Support creating functions, classes, and rulesets away from EGraph
CI #524: Pull request #111 synchronize by saulshanabrook
February 6, 2024 03:21 6m 34s change
February 6, 2024 03:21 6m 34s
Support creating functions, classes, and rulesets away from EGraph
CI #523: Pull request #111 synchronize by saulshanabrook
February 6, 2024 03:12 9m 32s change
February 6, 2024 03:12 9m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-02-06 or the other filters available.