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

Scheduled CodeQL #44: by github-advanced-security bot
February 23, 2025 20:18 1m 30s main
main
February 23, 2025 20:18 1m 30s
Fix python 3.13 support CI #912: Pull request #262 opened by orenht
February 20, 2025 18:12 5m 1s orenht:add_python3.13_support
orenht:add_python3.13_support
February 20, 2025 18:12 5m 1s
Merge pull request #260 from egraphs-good/dependabot/cargo/rust-produ… CI #911: Commit 05fa4b5 pushed by saulshanabrook
February 20, 2025 17:11 5m 19s main
main
February 20, 2025 17:11 5m 19s
Push on main CodeQL #43: by saulshanabrook
February 20, 2025 17:11 1m 27s main
main
February 20, 2025 17:11 1m 27s
Bump the rust-production group across 1 directory with 5 updates CI #910: Pull request #260 synchronize by dependabot bot
February 20, 2025 17:06 5m 15s dependabot/cargo/rust-production-9cb7377d96
dependabot/cargo/rust-production-9cb7377d96
February 20, 2025 17:06 5m 15s
cargo in /. for pyo3, serde_json, log, lalrpop-util, uuid - Update #968114034 Dependabot Updates #251: by dependabot bot
February 20, 2025 17:06 1m 14s main
main
February 20, 2025 17:06 1m 14s
cargo in /. for pyo3, serde_json, log, lalrpop-util, uuid - Update #968113530 Dependabot Updates #250: by dependabot bot
February 20, 2025 17:05 1m 17s main
main
February 20, 2025 17:05 1m 17s
Merge pull request #261 from egraphs-good/dependabot/cargo/cargo-657c… CI #909: Commit 7eee95b pushed by saulshanabrook
February 20, 2025 17:04 5m 23s main
main
February 20, 2025 17:04 5m 23s
Push on main CodeQL #42: by saulshanabrook
February 20, 2025 17:04 1m 27s main
main
February 20, 2025 17:04 1m 27s
Bump anstream from 0.6.4 to 0.6.18 in the cargo group CI #908: Pull request #261 opened by dependabot bot
February 20, 2025 16:59 5m 19s dependabot/cargo/cargo-657ccba0a8
dependabot/cargo/cargo-657ccba0a8
February 20, 2025 16:59 5m 19s
cargo in /. for anstream, rustix - Update #968110938 Dependabot Updates #249: by dependabot bot
February 20, 2025 16:58 1m 4s main
main
February 20, 2025 16:58 1m 4s
Merge pull request #253 from egraphs-good/dependabot/github_actions/a… CI #907: Commit 4673cb3 pushed by saulshanabrook
February 20, 2025 16:58 5m 10s main
main
February 20, 2025 16:58 5m 10s
Push on main CodeQL #41: by saulshanabrook
February 20, 2025 16:58 1m 27s main
main
February 20, 2025 16:58 1m 27s
Merge pull request #259 from egraphs-good/remove-unused-save CI #906: Commit 57b2d1d pushed by saulshanabrook
February 20, 2025 16:55 2m 46s main
main
February 20, 2025 16:55 2m 46s
Push on main CodeQL #40: by saulshanabrook
February 20, 2025 16:55 1m 31s main
main
February 20, 2025 16:55 1m 31s
Bump the rust-production group across 1 directory with 5 updates CI #905: Pull request #260 opened by dependabot bot
February 20, 2025 16:53 5m 3s dependabot/cargo/rust-production-9cb7377d96
dependabot/cargo/rust-production-9cb7377d96
February 20, 2025 16:53 5m 3s
Bump the actions-production group across 1 directory with 2 updates CI #904: Pull request #253 synchronize by dependabot bot
February 20, 2025 16:53 4m 50s dependabot/github_actions/actions-production-8ce3af9b68
dependabot/github_actions/actions-production-8ce3af9b68
February 20, 2025 16:53 4m 50s
github_actions in /. for astral-sh/setup-uv, PyO3/maturin-action - Update #968108697 Dependabot Updates #248: by dependabot bot
February 20, 2025 16:52 47s main
main
February 20, 2025 16:52 47s
cargo in /. for pyo3, serde_json, log, lalrpop-util, uuid - Update #968108612 Dependabot Updates #247: by dependabot bot
February 20, 2025 16:52 1m 32s main
main
February 20, 2025 16:52 1m 32s
Remove unused save egglog string in tests CI #903: Pull request #259 opened by saulshanabrook
February 20, 2025 16:50 4m 58s remove-unused-save
remove-unused-save
February 20, 2025 16:50 4m 58s
PR #259 CodeQL #39: by saulshanabrook
February 20, 2025 16:50 1m 33s refs/pull/259/head
refs/pull/259/head
February 20, 2025 16:50 1m 33s
Merge pull request #258 from egraphs-good/upgrade-egglog CI #902: Commit 12bb4cc pushed by saulshanabrook
February 17, 2025 20:47 6m 2s main
main
February 17, 2025 20:47 6m 2s
Push on main CodeQL #38: by saulshanabrook
February 17, 2025 20:47 1m 24s main
main
February 17, 2025 20:47 1m 24s
[pre-commit.ci] pre-commit autoupdate CI #901: Pull request #235 synchronize by pre-commit-ci bot
February 17, 2025 20:44 7m 30s pre-commit-ci-update-config
pre-commit-ci-update-config
February 17, 2025 20:44 7m 30s
PR #235 CodeQL #37: by pre-commit-ci bot
February 17, 2025 20:44 1m 29s refs/pull/235/head
refs/pull/235/head
February 17, 2025 20:44 1m 29s