Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,188 workflow runs
2,188 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
[pre-commit.ci] pre-commit autoupdate CI #1479: Pull request #377 synchronize by pre-commit-ci Bot
15m 36s pre-commit-ci-update-config
pre-commit-ci-update-config
15m 36s
[pre-commit.ci] pre-commit autoupdate Bump Version #564: Pull request #377 synchronize by pre-commit-ci Bot
12m 30s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 30s
Code Quality: PR #377 CodeQL - Code Quality #18: by pre-commit-ci Bot
1m 11s refs/pull/377/head
refs/pull/377/head
1m 11s
PR #377 CodeQL #766: by pre-commit-ci Bot
1m 12s refs/pull/377/head
refs/pull/377/head
1m 12s
[pre-commit.ci] pre-commit autoupdate CI #1478: Pull request #377 synchronize by pre-commit-ci Bot
1m 36s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 36s
[pre-commit.ci] pre-commit autoupdate Bump Version #563: Pull request #377 synchronize by pre-commit-ci Bot
10m 53s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 53s
PR #377 CodeQL #765: by pre-commit-ci Bot
1m 8s refs/pull/377/head
refs/pull/377/head
1m 8s
Code Quality: PR #377 CodeQL - Code Quality #17: by pre-commit-ci Bot
1m 11s refs/pull/377/head
refs/pull/377/head
1m 11s
Scheduled CodeQL #764: by github-advanced-security AI
1m 58s main
main
1m 58s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #562: Pull request #414 synchronize by saulshanabrook
11m 56s sr
sr
11m 56s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1477: Pull request #414 synchronize by saulshanabrook
9m 33s sr
sr
9m 33s
Code Quality: PR #414 CodeQL - Code Quality #16: by saulshanabrook
1m 9s refs/pull/414/head
refs/pull/414/head
1m 9s
PR #414 CodeQL #763: by saulshanabrook
1m 21s refs/pull/414/head
refs/pull/414/head
1m 21s
Code Quality: Scheduled CodeQL - Code Quality #15: by github-code-quality Bot
1m 14s main
main
1m 14s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1476: Pull request #414 synchronize by saulshanabrook
13m 9s sr
sr
13m 9s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #561: Pull request #414 synchronize by saulshanabrook
12m 27s sr
sr
12m 27s
Code Quality: PR #414 CodeQL - Code Quality #14: by saulshanabrook
1m 18s refs/pull/414/head
refs/pull/414/head
1m 18s
PR #414 CodeQL #762: by saulshanabrook
1m 13s refs/pull/414/head
refs/pull/414/head
1m 13s
[pre-commit.ci] pre-commit autoupdate Bump Version #560: Pull request #377 synchronize by pre-commit-ci Bot
10m 24s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 24s
[pre-commit.ci] pre-commit autoupdate CI #1475: Pull request #377 synchronize by pre-commit-ci Bot
14m 36s pre-commit-ci-update-config
pre-commit-ci-update-config
14m 36s
Code Quality: PR #377 CodeQL - Code Quality #13: by pre-commit-ci Bot
1m 0s refs/pull/377/head
refs/pull/377/head
1m 0s
PR #377 CodeQL #761: by pre-commit-ci Bot
1m 2s refs/pull/377/head
refs/pull/377/head
1m 2s
[pre-commit.ci] pre-commit autoupdate Bump Version #559: Pull request #377 synchronize by pre-commit-ci Bot
12m 31s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 31s
[pre-commit.ci] pre-commit autoupdate CI #1474: Pull request #377 synchronize by pre-commit-ci Bot
21s pre-commit-ci-update-config
pre-commit-ci-update-config
21s
Code Quality: PR #377 CodeQL - Code Quality #12: by pre-commit-ci Bot
1m 2s refs/pull/377/head
refs/pull/377/head
1m 2s