Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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 #629: by github-advanced-security AI
1m 18s main
main
1m 18s
Sr CI #1407: Pull request #414 synchronize by pre-commit-ci Bot
1m 20s sr
sr
1m 20s
Sr Bump Version #491: Pull request #414 synchronize by pre-commit-ci Bot
1m 24s sr
sr
1m 24s
PR #414 CodeQL #628: by pre-commit-ci Bot
1m 18s refs/pull/414/head
refs/pull/414/head
1m 18s
Code Quality: PR #414 CodeQL #627: by pre-commit-ci Bot
1m 23s refs/pull/414/head
refs/pull/414/head
1m 23s
Sr Bump Version #490: Pull request #414 synchronize by saulshanabrook
1m 25s sr
sr
1m 25s
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