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: PR #414 CodeQL #599: by saulshanabrook
1m 17s refs/pull/414/head
refs/pull/414/head
1m 17s
Scheduled CodeQL #598: by github-advanced-security AI
1m 13s main
main
1m 13s
Code Quality: Scheduled CodeQL #597: by github-advanced-security AI
1m 12s main
main
1m 12s
Update Read the Docs build image to Ubuntu 24.04 CI #1394: Pull request #413 synchronize by Copilot AI
16m 39s copilot/update-rtd-build-image
copilot/update-rtd-build-image
16m 39s
Update Read the Docs build image to Ubuntu 24.04 Bump Version #478: Pull request #413 synchronize by Copilot AI
10m 10s copilot/update-rtd-build-image
copilot/update-rtd-build-image
10m 10s
PR #413 CodeQL #596: by Copilot AI
1m 2s refs/pull/413/head
refs/pull/413/head
1m 2s
Code Quality: PR #413 CodeQL #595: by Copilot AI
1m 18s refs/pull/413/head
refs/pull/413/head
1m 18s
Running Copilot coding agent Copilot coding agent #13: by Copilot AI
1m 25s copilot/update-rtd-build-image
copilot/update-rtd-build-image
1m 25s
PR #413 CodeQL #594: by Copilot AI
1m 1s refs/pull/413/head
refs/pull/413/head
1m 1s
Code Quality: PR #413 CodeQL #593: by Copilot AI
1m 21s refs/pull/413/head
refs/pull/413/head
1m 21s
[pre-commit.ci] pre-commit autoupdate CI #1392: Pull request #377 synchronize by pre-commit-ci bot
14m 43s pre-commit-ci-update-config
pre-commit-ci-update-config
14m 43s
[pre-commit.ci] pre-commit autoupdate Bump Version #476: Pull request #377 synchronize by pre-commit-ci bot
10m 55s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 55s
Code Quality: PR #377 CodeQL #592: by pre-commit-ci bot
1m 16s refs/pull/377/head
refs/pull/377/head
1m 16s
PR #377 CodeQL #591: by pre-commit-ci bot
1m 12s refs/pull/377/head
refs/pull/377/head
1m 12s
[pre-commit.ci] pre-commit autoupdate Bump Version #475: Pull request #377 synchronize by pre-commit-ci bot
12m 14s pre-commit-ci-update-config
pre-commit-ci-update-config
12m 14s
[pre-commit.ci] pre-commit autoupdate CI #1391: Pull request #377 synchronize by pre-commit-ci bot
21s pre-commit-ci-update-config
pre-commit-ci-update-config
21s
PR #377 CodeQL #590: by pre-commit-ci bot
1m 5s refs/pull/377/head
refs/pull/377/head
1m 5s
Code Quality: PR #377 CodeQL #589: by pre-commit-ci bot
1m 13s refs/pull/377/head
refs/pull/377/head
1m 13s
Scheduled CodeQL #588: by github-advanced-security AI
1m 24s main
main
1m 24s
Code Quality: Scheduled CodeQL #587: by github-advanced-security AI
1m 15s main
main
1m 15s
Merge pull request #411 from egraphs-good/version-13.1.0 Bump Version #474: Commit 8b6fe1e pushed by saulshanabrook
10m 37s main
main
10m 37s
Merge pull request #411 from egraphs-good/version-13.1.0 CI #1390: Commit 8b6fe1e pushed by saulshanabrook
15m 38s main
main
15m 38s
Push on main CodeQL #586: by saulshanabrook
1m 14s main
main
1m 14s
Code Quality: Push on main CodeQL #585: by saulshanabrook
1m 10s main
main
1m 10s
PR #411 CodeQL #584: by github-actions bot
1m 1s refs/pull/411/head
refs/pull/411/head
1m 1s