Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,445 workflow runs
2,445 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
Sr CI #1406: Pull request #414 synchronize by saulshanabrook
24s sr
sr
24s
Code Quality: PR #414 CodeQL #626: by saulshanabrook
1m 18s refs/pull/414/head
refs/pull/414/head
1m 18s
PR #414 CodeQL #625: by saulshanabrook
1m 17s refs/pull/414/head
refs/pull/414/head
1m 17s
[pre-commit.ci] pre-commit autoupdate Bump Version #489: Pull request #377 synchronize by pre-commit-ci Bot
9m 31s pre-commit-ci-update-config
pre-commit-ci-update-config
9m 31s
[pre-commit.ci] pre-commit autoupdate CI #1405: Pull request #377 synchronize by pre-commit-ci Bot
12m 4s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 4s
Code Quality: PR #377 CodeQL #624: by pre-commit-ci Bot
1m 18s refs/pull/377/head
refs/pull/377/head
1m 18s
PR #377 CodeQL #623: by pre-commit-ci Bot
1m 4s refs/pull/377/head
refs/pull/377/head
1m 4s
[pre-commit.ci] pre-commit autoupdate CI #1404: Pull request #377 synchronize by pre-commit-ci Bot
1m 11s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 11s
[pre-commit.ci] pre-commit autoupdate Bump Version #488: Pull request #377 synchronize by pre-commit-ci Bot
12m 41s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 41s
PR #377 CodeQL #622: by pre-commit-ci Bot
1m 12s refs/pull/377/head
refs/pull/377/head
1m 12s
Code Quality: PR #377 CodeQL #621: by pre-commit-ci Bot
1m 11s refs/pull/377/head
refs/pull/377/head
1m 11s
Scheduled CodeQL #620: by github-advanced-security AI
1m 21s main
main
1m 21s
Code Quality: Scheduled CodeQL #619: by github-advanced-security AI
1m 19s main
main
1m 19s
[pre-commit.ci] pre-commit autoupdate Bump Version #487: Pull request #377 synchronize by pre-commit-ci Bot
9m 12s pre-commit-ci-update-config
pre-commit-ci-update-config
9m 12s
[pre-commit.ci] pre-commit autoupdate CI #1403: Pull request #377 synchronize by pre-commit-ci Bot
16m 31s pre-commit-ci-update-config
pre-commit-ci-update-config
16m 31s
Code Quality: PR #377 CodeQL #618: by pre-commit-ci Bot
1m 12s refs/pull/377/head
refs/pull/377/head
1m 12s
PR #377 CodeQL #617: by pre-commit-ci Bot
1m 5s refs/pull/377/head
refs/pull/377/head
1m 5s
[pre-commit.ci] pre-commit autoupdate Bump Version #486: Pull request #377 synchronize by pre-commit-ci Bot
10m 6s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 6s
[pre-commit.ci] pre-commit autoupdate CI #1402: Pull request #377 synchronize by pre-commit-ci Bot
1m 13s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 13s
PR #377 CodeQL #616: by pre-commit-ci Bot
1m 1s refs/pull/377/head
refs/pull/377/head
1m 1s
Code Quality: PR #377 CodeQL #615: by pre-commit-ci Bot
1m 15s refs/pull/377/head
refs/pull/377/head
1m 15s
Scheduled CodeQL #614: by github-advanced-security AI
1m 15s main
main
1m 15s
Code Quality: Scheduled CodeQL #613: by github-advanced-security AI
1m 14s main
main
1m 14s
Merge pull request #413 from egraphs-good/copilot/update-rtd-build-image CI #1401: Commit 8812ec9 pushed by saulshanabrook
16m 12s main
main
16m 12s
Merge pull request #413 from egraphs-good/copilot/update-rtd-build-image Bump Version #485: Commit 8812ec9 pushed by saulshanabrook
9m 20s main
main
9m 20s