Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,677 workflow runs
2,677 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Quality: Scheduled CodeQL #539: by github-advanced-security bot
1m 14s main
main
1m 14s
Code Quality: PR #397 CodeQL #538: by saulshanabrook
1m 17s refs/pull/397/head
refs/pull/397/head
1m 17s
PR #397 CodeQL #537: by saulshanabrook
1m 15s refs/pull/397/head
refs/pull/397/head
1m 15s
[pre-commit.ci] pre-commit autoupdate Bump Version #452: Pull request #377 synchronize by pre-commit-ci bot
9m 9s pre-commit-ci-update-config
pre-commit-ci-update-config
9m 9s
[pre-commit.ci] pre-commit autoupdate CI #1369: Pull request #377 synchronize by pre-commit-ci bot
2m 41s pre-commit-ci-update-config
pre-commit-ci-update-config
2m 41s
Code Quality: PR #377 CodeQL #536: by pre-commit-ci bot
1m 15s refs/pull/377/head
refs/pull/377/head
1m 15s
PR #377 CodeQL #535: by pre-commit-ci bot
1m 7s refs/pull/377/head
refs/pull/377/head
1m 7s
[pre-commit.ci] pre-commit autoupdate Bump Version #451: Pull request #377 synchronize by pre-commit-ci bot
10m 29s pre-commit-ci-update-config
pre-commit-ci-update-config
10m 29s
[pre-commit.ci] pre-commit autoupdate CI #1368: Pull request #377 synchronize by pre-commit-ci bot
1m 1s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 1s
PR #377 CodeQL #534: by pre-commit-ci bot
1m 4s refs/pull/377/head
refs/pull/377/head
1m 4s
Code Quality: PR #377 CodeQL #533: by pre-commit-ci bot
1m 9s refs/pull/377/head
refs/pull/377/head
1m 9s
Scheduled CodeQL #532: by github-advanced-security bot
1m 20s main
main
1m 20s
Code Quality: Scheduled CodeQL #531: by github-advanced-security bot
1m 14s main
main
1m 14s
Merge pull request #406 from egraphs-good/version-13.0.1 Bump Version #450: Commit 27f70d1 pushed by saulshanabrook
11m 23s main
main
11m 23s
Merge pull request #406 from egraphs-good/version-13.0.1 CI #1367: Commit 27f70d1 pushed by saulshanabrook
5m 22s main
main
5m 22s
Push on main CodeQL #530: by saulshanabrook
1m 17s main
main
1m 17s
Code Quality: Push on main CodeQL #529: by saulshanabrook
1m 22s main
main
1m 22s
Code Quality: PR #406 CodeQL #528: by github-actions bot
2m 54s refs/pull/406/head
refs/pull/406/head
2m 54s
PR #406 CodeQL #527: by github-actions bot
2m 27s refs/pull/406/head
refs/pull/406/head
2m 27s
Bump Version Bump Version #449: Manually run by saulshanabrook
15m 5s main
main
15m 5s
Merge pull request #405 from egraphs-good/cloudpickle-install Bump Version #448: Commit 40e5e38 pushed by saulshanabrook
9m 57s main
main
9m 57s
Merge pull request #405 from egraphs-good/cloudpickle-install CI #1366: Commit 40e5e38 pushed by saulshanabrook
3m 30s main
main
3m 30s
Code Quality: Push on main CodeQL #526: by saulshanabrook
1m 15s main
main
1m 15s
Push on main CodeQL #525: by saulshanabrook
1m 21s main
main
1m 21s
PR #405 CodeQL #524: by github-actions bot
1m 8s refs/pull/405/head
refs/pull/405/head
1m 8s