Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
680 workflow runs
680 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
latex table (#795) Test #5746: Commit 16be006 pushed by oflatt
35m 50s main
main
35m 50s
Merge pull request #790 from egraphs-good/oflatt-latest-egglog Test #5745: Commit 1e3ee9a pushed by oflatt
36m 10s main
main
36m 10s
Remove constructors from merge functions Test #5744: Pull request #796 synchronize by saulshanabrook
24m 32s codex/remove-merge-constructors
codex/remove-merge-constructors
24m 32s
Repin experimental after fixture cleanup Test #5743: Commit 15ee7cb pushed by saulshanabrook
24m 25s codex/remove-merge-constructors
codex/remove-merge-constructors
24m 25s
Remove constructors from merge functions Test #5742: Pull request #796 synchronize by saulshanabrook
24m 6s codex/remove-merge-constructors
codex/remove-merge-constructors
24m 6s
Update egglog proof fixture dependencies Test #5741: Commit cf7c2de pushed by saulshanabrook
24m 14s codex/remove-merge-constructors
codex/remove-merge-constructors
24m 14s
Remove constructors from merge functions Test #5740: Pull request #796 synchronize by saulshanabrook
26m 17s codex/remove-merge-constructors
codex/remove-merge-constructors
26m 17s
Use generic container merge helpers Test #5739: Commit 261d953 pushed by saulshanabrook
28m 10s codex/remove-merge-constructors
codex/remove-merge-constructors
28m 10s
latex table Test #5738: Pull request #795 synchronize by oflatt
25m 43s oflatt-latex-table
oflatt-latex-table
25m 43s
some cleanup Test #5737: Commit f531bbf pushed by oflatt
25m 52s oflatt-latex-table
oflatt-latex-table
25m 52s
Running Copilot Code Review Copilot #2: by Copilot AI
3m 44s oflatt-latest-egglog
oflatt-latest-egglog
3m 44s
scratch Test #5736: Pull request #797 synchronize by rtjoa
26m 6s rtjoa.experiment2
rtjoa.experiment2
26m 6s
snaps Test #5735: Commit 899fba9 pushed by rtjoa
15m 14s rtjoa.experiment2
rtjoa.experiment2
15m 14s
scratch Test #5734: Pull request #797 synchronize by rtjoa
26m 2s rtjoa.experiment2
rtjoa.experiment2
26m 2s
snaps Test #5733: Commit 1752532 pushed by rtjoa
26m 7s rtjoa.experiment2
rtjoa.experiment2
26m 7s
scratch Test #5732: Pull request #797 opened by rtjoa
26m 56s rtjoa.experiment2
rtjoa.experiment2
26m 56s
claude free Test #5731: Commit 31b399d pushed by rtjoa
22m 21s rtjoa.experiment2
rtjoa.experiment2
22m 21s
Remove constructors from merge functions Test #5730: Pull request #796 opened by saulshanabrook
24m 27s codex/remove-merge-constructors
codex/remove-merge-constructors
24m 27s
Remove constructors from merge encodings Test #5729: Commit 028734d pushed by saulshanabrook
26m 6s codex/remove-merge-constructors
codex/remove-merge-constructors
26m 6s
Move eggcc to latest egglog experimental Test #5728: Pull request #790 synchronize by oflatt
32m 12s oflatt-latest-egglog
oflatt-latest-egglog
32m 12s
Upgrade to latest egglog-experimental (08771f9) Test #5727: Commit 65245c7 pushed by oflatt
31m 32s oflatt-latest-egglog
oflatt-latest-egglog
31m 32s
Running Copilot Code Review Copilot #1: by Copilot AI
1m 2s oflatt-latex-table
oflatt-latex-table
1m 2s
latex table Test #5726: Pull request #795 opened by oflatt
24m 48s oflatt-latex-table
oflatt-latex-table
24m 48s
working on table Test #5725: Commit 8e1f4f1 pushed by oflatt
23m 6s oflatt-latex-table
oflatt-latex-table
23m 6s
working on simple table Test #5724: Commit 21d6013 pushed by oflatt
22m 48s oflatt-latex-table
oflatt-latex-table
22m 48s