Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,210 workflow runs
2,210 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
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
PR #377 CodeQL #760: by pre-commit-ci Bot
1m 14s refs/pull/377/head
refs/pull/377/head
1m 14s
Scheduled CodeQL #759: by github-advanced-security AI
1m 18s main
main
1m 18s
Code Quality: Scheduled CodeQL - Code Quality #11: by github-code-quality Bot
1m 13s main
main
1m 13s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1473: Pull request #414 synchronize by saulshanabrook
11m 16s sr
sr
11m 16s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #558: Pull request #414 synchronize by saulshanabrook
10m 54s sr
sr
10m 54s
Code Quality: PR #414 CodeQL - Code Quality #10: by saulshanabrook
1m 6s refs/pull/414/head
refs/pull/414/head
1m 6s
PR #414 CodeQL #758: by saulshanabrook
1m 15s refs/pull/414/head
refs/pull/414/head
1m 15s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1472: Pull request #414 synchronize by saulshanabrook
12m 15s sr
sr
12m 15s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #557: Pull request #414 synchronize by saulshanabrook
12m 14s sr
sr
12m 14s