Skip to content

Actions: egraphs-good/egglog-python

Actions

Bump Version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
version.yml
274 workflow run results
274 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade rust dependencies and version Bump Version #241: Pull request #341 opened by saulshanabrook
7m 50s deps
deps
7m 50s
Merge pull request #340 from egraphs-good/tree Bump Version #240: Commit d7e81a3 pushed by saulshanabrook
9m 46s main
main
9m 46s
Bump the rust group across 1 directory with 4 updates Bump Version #239: Pull request #326 synchronize by dependabot bot
5m 15s dependabot/cargo/rust-98c635a768
dependabot/cargo/rust-98c635a768
5m 15s
Merge pull request #334 from egraphs-good/dependabot/github_actions/a… Bump Version #238: Commit b083415 pushed by saulshanabrook
10m 14s main
main
10m 14s
Merge pull request #322 from egraphs-good/pre-commit-ci-update-config Bump Version #237: Commit 6c52e22 pushed by saulshanabrook
8m 9s main
main
8m 9s
Add egraph.function_values(fn) to export all function values like print-function Bump Version #236: Pull request #340 opened by saulshanabrook
8m 27s tree
tree
8m 27s
Merge pull request #339 from egraphs-good/list-function Bump Version #235: Commit 3158446 pushed by saulshanabrook
8m 59s main
main
8m 59s
Add egraph.run_report() method to print overall stats Bump Version #234: Pull request #339 synchronize by saulshanabrook
9m 38s list-function
list-function
9m 38s
Add egraph.run_report() method to print overall stats Bump Version #233: Pull request #339 synchronize by saulshanabrook
10m 26s list-function
list-function
10m 26s
Add egraph.run_report() method to print overall stats Bump Version #232: Pull request #339 opened by saulshanabrook
8m 7s list-function
list-function
8m 7s
Merge pull request #338 from egraphs-good/extract-report-warning Bump Version #231: Commit 1a2ee10 pushed by saulshanabrook
8m 19s main
main
8m 19s
Add all_function_sizes and function_size EGraph methods Bump Version #230: Pull request #338 synchronize by saulshanabrook
8m 11s extract-report-warning
extract-report-warning
8m 11s
Bump the actions group across 1 directory with 2 updates Bump Version #229: Pull request #334 synchronize by dependabot bot
8m 13s dependabot/github_actions/actions-89f9b71789
dependabot/github_actions/actions-89f9b71789
8m 13s
Add all_function_sizes and function_size EGraph methods Bump Version #228: Pull request #338 synchronize by saulshanabrook
8m 22s extract-report-warning
extract-report-warning
8m 22s
Add all_function_sizes and function_size EGraph methods Bump Version #227: Pull request #338 synchronize by saulshanabrook
10m 41s extract-report-warning
extract-report-warning
10m 41s
Add all_function_sizes and function_size EGraph methods Bump Version #226: Pull request #338 synchronize by saulshanabrook
10m 26s extract-report-warning
extract-report-warning
10m 26s
Add all_function_sizes and function_size EGraph methods Bump Version #225: Pull request #338 synchronize by saulshanabrook
13m 59s extract-report-warning
extract-report-warning
13m 59s
Add all_function_sizes and function_size EGraph methods Bump Version #224: Pull request #338 opened by saulshanabrook
13m 55s extract-report-warning
extract-report-warning
13m 55s
Merge pull request #337 from egraphs-good/fix-docs-exec Bump Version #223: Commit b8c53e0 pushed by saulshanabrook
9m 48s main
main
9m 48s
Fix execution of docs Bump Version #222: Pull request #337 synchronize by saulshanabrook
8m 26s fix-docs-exec
fix-docs-exec
8m 26s
Fix execution of docs Bump Version #221: Pull request #337 opened by saulshanabrook
7m 53s fix-docs-exec
fix-docs-exec
7m 53s
Merge pull request #336 from egraphs-good/warning-viz Bump Version #220: Commit f8d552c pushed by saulshanabrook
9m 33s main
main
9m 33s
Emit warnings when functions omitted when visualizing Bump Version #219: Pull request #336 synchronize by saulshanabrook
10m 19s warning-viz
warning-viz
10m 19s
Emit warnings when functions omitted when visualizing Bump Version #218: Pull request #336 opened by saulshanabrook
10m 7s warning-viz
warning-viz
10m 7s
Merge pull request #335 from egraphs-good/update-egglog Bump Version #217: Commit 0fc9674 pushed by saulshanabrook
10m 18s main
main
10m 18s