Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,463 workflow runs
2,463 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Code Quality: Scheduled CodeQL #687: by github-advanced-security AI
1m 12s main
main
1m 12s
Merge pull request #418 from egraphs-good/codex/new-user-usability-docs CI #1440: Commit 0c25eaf pushed by saulshanabrook
11m 52s main
main
11m 52s
Merge pull request #418 from egraphs-good/codex/new-user-usability-docs Bump Version #525: Commit 0c25eaf pushed by saulshanabrook
9m 56s main
main
9m 56s
Push on main CodeQL #686: by saulshanabrook
1m 17s main
main
1m 17s
Code Quality: Push on main CodeQL #685: by saulshanabrook
1m 23s main
main
1m 23s
[codex] Improve new user install and scheduling docs Update Changelog #203: Issue comment #418 (comment) created by codspeed-hq Bot
2s
2s
[codex] Improve new user install and scheduling docs CI #1439: Pull request #418 opened by saulshanabrook
23m 59s codex/new-user-usability-docs
codex/new-user-usability-docs
23m 59s
[codex] Improve new user install and scheduling docs Bump Version #524: Pull request #418 opened by saulshanabrook
13m 32s codex/new-user-usability-docs
codex/new-user-usability-docs
13m 32s
PR #418 CodeQL #684: by saulshanabrook
1m 11s refs/pull/418/head
refs/pull/418/head
1m 11s
Code Quality: PR #418 CodeQL #683: by saulshanabrook
8m 38s refs/pull/418/head
refs/pull/418/head
8m 38s
[pre-commit.ci] pre-commit autoupdate Bump Version #523: Pull request #377 synchronize by pre-commit-ci Bot
9m 46s pre-commit-ci-update-config
pre-commit-ci-update-config
9m 46s
[pre-commit.ci] pre-commit autoupdate CI #1438: Pull request #377 synchronize by pre-commit-ci Bot
14m 39s pre-commit-ci-update-config
pre-commit-ci-update-config
14m 39s
PR #377 CodeQL #682: by pre-commit-ci Bot
1m 14s refs/pull/377/head
refs/pull/377/head
1m 14s
Code Quality: PR #377 CodeQL #681: by pre-commit-ci Bot
1m 17s refs/pull/377/head
refs/pull/377/head
1m 17s
[pre-commit.ci] pre-commit autoupdate Bump Version #522: Pull request #377 synchronize by pre-commit-ci Bot
11m 49s pre-commit-ci-update-config
pre-commit-ci-update-config
11m 49s
[pre-commit.ci] pre-commit autoupdate CI #1437: Pull request #377 synchronize by pre-commit-ci Bot
19s pre-commit-ci-update-config
pre-commit-ci-update-config
19s
Code Quality: PR #377 CodeQL #680: by pre-commit-ci Bot
1m 5s refs/pull/377/head
refs/pull/377/head
1m 5s
PR #377 CodeQL #679: by pre-commit-ci Bot
1m 22s refs/pull/377/head
refs/pull/377/head
1m 22s
Scheduled CodeQL #678: by github-advanced-security AI
1m 21s main
main
1m 21s
Code Quality: Scheduled CodeQL #677: by github-advanced-security AI
1m 9s main
main
1m 9s
[pre-commit.ci] pre-commit autoupdate Bump Version #521: Pull request #377 synchronize by pre-commit-ci Bot
9m 55s pre-commit-ci-update-config
pre-commit-ci-update-config
9m 55s
[pre-commit.ci] pre-commit autoupdate CI #1436: Pull request #377 synchronize by pre-commit-ci Bot
12m 9s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 9s
Code Quality: PR #377 CodeQL #676: by pre-commit-ci Bot
1m 14s refs/pull/377/head
refs/pull/377/head
1m 14s
PR #377 CodeQL #675: by pre-commit-ci Bot
1m 4s refs/pull/377/head
refs/pull/377/head
1m 4s
[pre-commit.ci] pre-commit autoupdate Bump Version #520: Pull request #377 synchronize by pre-commit-ci Bot
10m 30s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 30s