Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cargo in /. - Update #1146237285 Dependabot Updates #984: by dependabot bot
51s main
main
51s
github_actions in /. - Update #1146237278 Dependabot Updates #983: by dependabot bot
54s main
main
54s
github_actions in /. - Update #1145321724 Dependabot Updates #982: by dependabot bot
54s main
main
54s
cargo in /. - Update #1145321727 Dependabot Updates #981: by dependabot bot
46s main
main
46s
Scheduled CodeQL #408: by github-advanced-security bot
1m 9s main
main
1m 9s
cargo in /. - Update #1144341430 Dependabot Updates #980: by dependabot bot
47s main
main
47s
github_actions in /. - Update #1144341432 Dependabot Updates #979: by dependabot bot
53s main
main
53s
cargo in /. - Update #1143438571 Dependabot Updates #978: by dependabot bot
45s main
main
45s
github_actions in /. - Update #1143438573 Dependabot Updates #977: by dependabot bot
58s main
main
58s
Merge pull request #375 from egraphs-good/update-uv CI #1278: Commit b9f201c pushed by saulshanabrook
26m 53s main
main
26m 53s
Merge pull request #375 from egraphs-good/update-uv Bump Version #358: Commit b9f201c pushed by saulshanabrook
14m 25s main
main
14m 25s
Push on main CodeQL #407: by saulshanabrook
1m 13s main
main
1m 13s
Add support for setting report level with egraph.set_report_level Update Changelog #136: Issue comment #375 (comment) created by codspeed-hq bot
2s
2s
Add support for setting report level with egraph.set_report_level CI #1277: Pull request #375 synchronize by saulshanabrook
26m 37s update-uv
update-uv
26m 37s
Add support for setting report level with egraph.set_report_level Bump Version #357: Pull request #375 synchronize by saulshanabrook
8m 42s update-uv
update-uv
8m 42s
PR #375 CodeQL #406: by saulshanabrook
1m 4s refs/pull/375/head
refs/pull/375/head
1m 4s
Add support for setting report level with egraph.set_report_level CI #1276: Pull request #375 synchronize by saulshanabrook
3m 26s update-uv
update-uv
3m 26s
Add support for setting report level with egraph.set_report_level Bump Version #356: Pull request #375 synchronize by saulshanabrook
11m 14s update-uv
update-uv
11m 14s
PR #375 CodeQL #405: by saulshanabrook
1m 11s refs/pull/375/head
refs/pull/375/head
1m 11s
PR #375 CodeQL #404: by github-actions bot
1m 6s refs/pull/375/head
refs/pull/375/head
1m 6s
Add support for setting report level with egraph.set_report_level Update Changelog #135: Issue comment #375 (comment) created by saulshanabrook
14s
14s
Add support for setting report level with egraph.set_report_level Bump Version #355: Pull request #375 opened by saulshanabrook
10m 43s update-uv
update-uv
10m 43s
Add support for setting report level with egraph.set_report_level CI #1275: Pull request #375 opened by saulshanabrook
3m 25s update-uv
update-uv
3m 25s
PR #375 CodeQL #403: by saulshanabrook
1m 22s refs/pull/375/head
refs/pull/375/head
1m 22s
Merge pull request #374 from egraphs-good/update-uv CI #1274: Commit 6421045 pushed by saulshanabrook
17m 19s main
main
17m 19s