Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,205 workflow runs
2,205 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: 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
PR #414 CodeQL #757: by saulshanabrook
1m 23s refs/pull/414/head
refs/pull/414/head
1m 23s
Code Quality: PR #414 CodeQL - Code Quality #9: by saulshanabrook
1m 17s refs/pull/414/head
refs/pull/414/head
1m 17s
Fix(Processes): Make subterm hoisting deterministic across processes Update Changelog #208: Issue comment #422 (comment) created by codspeed-hq Bot
1s
1s
Fix(Processes): Make subterm hoisting deterministic across processes Bump Version #556: Pull request #422 synchronize by pre-commit-ci Bot
10m 55s wjrforcyber:fix/deterministic-subterm-hoisting
wjrforcyber:fix/deterministic-subterm-hoisting
10m 55s
Fix(Processes): Make subterm hoisting deterministic across processes CI #1471: Pull request #422 synchronize by pre-commit-ci Bot
13m 23s wjrforcyber:fix/deterministic-subterm-hoisting
wjrforcyber:fix/deterministic-subterm-hoisting
13m 23s
Fix(Processes): Make subterm hoisting deterministic across processes CI #1470: Pull request #422 opened by wjrforcyber
24s wjrforcyber:fix/deterministic-subterm-hoisting
wjrforcyber:fix/deterministic-subterm-hoisting
24s
Fix(Processes): Make subterm hoisting deterministic across processes Bump Version #555: Pull request #422 opened by wjrforcyber
9m 23s wjrforcyber:fix/deterministic-subterm-hoisting
wjrforcyber:fix/deterministic-subterm-hoisting
9m 23s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1469: Pull request #414 synchronize by saulshanabrook
12m 45s sr
sr
12m 45s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #554: Pull request #414 synchronize by saulshanabrook
11m 26s sr
sr
11m 26s
Code Quality: PR #414 CodeQL - Code Quality #8: by saulshanabrook
1m 17s refs/pull/414/head
refs/pull/414/head
1m 17s
PR #414 CodeQL #756: by saulshanabrook
55s refs/pull/414/head
refs/pull/414/head
55s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #553: Pull request #414 synchronize by saulshanabrook
12m 44s sr
sr
12m 44s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1468: Pull request #414 synchronize by saulshanabrook
11m 9s sr
sr
11m 9s
PR #414 CodeQL #755: by saulshanabrook
1m 18s refs/pull/414/head
refs/pull/414/head
1m 18s
Code Quality: PR #414 CodeQL - Code Quality #7: by saulshanabrook
1m 17s refs/pull/414/head
refs/pull/414/head
1m 17s
Scheduled CodeQL #754: by github-advanced-security AI
1m 22s main
main
1m 22s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos Bump Version #552: Pull request #414 synchronize by saulshanabrook
10m 58s sr
sr
10m 58s
Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos CI #1467: Pull request #414 synchronize by saulshanabrook
11m 54s sr
sr
11m 54s