Skip to content

Actions: egraphs-good/egglog-python

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,575 workflow runs
1,575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cargo in /. for pyo3, serde_json, uuid - Update #1074142077
Dependabot Updates #708: by dependabot bot
August 12, 2025 16:27 1m 8s main
August 12, 2025 16:27 1m 8s
cargo in /. - Update #1074142066
Dependabot Updates #707: by dependabot bot
August 12, 2025 16:27 35s main
August 12, 2025 16:27 35s
PR #324
CodeQL #248: by github-actions bot
August 11, 2025 23:13 1m 29s refs/pull/324/head
August 11, 2025 23:13 1m 29s
PR #323
CodeQL #247: by github-actions bot
August 11, 2025 23:07 1m 24s refs/pull/323/head
August 11, 2025 23:07 1m 24s
PR #322
CodeQL #246: by github-actions bot
August 11, 2025 20:28 1m 28s refs/pull/322/head
August 11, 2025 20:28 1m 28s
[pre-commit.ci] pre-commit autoupdate
Update Changelog #22: Pull request #322 opened by pre-commit-ci bot
August 11, 2025 20:28 12s pre-commit-ci-update-config
August 11, 2025 20:28 12s
[pre-commit.ci] pre-commit autoupdate
CI #1109: Pull request #322 opened by pre-commit-ci bot
August 11, 2025 20:28 1d 0h 0m 1s pre-commit-ci-update-config
August 11, 2025 20:28 1d 0h 0m 1s
[pre-commit.ci] pre-commit autoupdate
Bump Version #184: Pull request #322 opened by pre-commit-ci bot
August 11, 2025 20:28 8m 59s pre-commit-ci-update-config
August 11, 2025 20:28 8m 59s
PR #322
CodeQL #245: by pre-commit-ci bot
August 11, 2025 20:28 1m 25s refs/pull/322/head
August 11, 2025 20:28 1m 25s
github_actions in /. - Update #1073135051
Dependabot Updates #706: by dependabot bot
August 11, 2025 17:46 2m 30s main
August 11, 2025 17:46 2m 30s
cargo in /. for pyo3, serde_json - Update #1073133091
Dependabot Updates #705: by dependabot bot
August 11, 2025 17:45 3m 33s main
August 11, 2025 17:45 3m 33s
cargo in /. - Update #1073126481
Dependabot Updates #704: by dependabot bot
August 11, 2025 17:36 58s main
August 11, 2025 17:36 58s
Scheduled
CodeQL #244: by github-advanced-security bot
August 10, 2025 20:12 1m 26s main
August 10, 2025 20:12 1m 26s
Merge pull request #321 from egraphs-good/version-11.0.0
CI #1108: Commit f5a0db9 pushed by saulshanabrook
August 8, 2025 19:53 1d 0h 0m 2s main
August 8, 2025 19:53 1d 0h 0m 2s
Merge pull request #321 from egraphs-good/version-11.0.0
Bump Version #183: Commit f5a0db9 pushed by saulshanabrook
August 8, 2025 19:53 10m 7s main
August 8, 2025 19:53 10m 7s
Push on main
CodeQL #243: by saulshanabrook
August 8, 2025 19:53 1m 27s main
August 8, 2025 19:53 1m 27s
PR #321
CodeQL #242: by github-actions bot
August 8, 2025 19:43 1m 30s refs/pull/321/head
August 8, 2025 19:43 1m 30s
Bump Version
Bump Version #182: Manually run by saulshanabrook
August 8, 2025 19:42 9m 58s main
August 8, 2025 19:42 9m 58s
Merge pull request #320 from egraphs-good/upgrade-python
CI #1107: Commit bbb4df8 pushed by saulshanabrook
August 8, 2025 17:38 2h 14m 57s main
August 8, 2025 17:38 2h 14m 57s