Skip to content

Actions: egraphs-good/extraction-gym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #50 from marcusrossel/main Build #172: Commit 903ba0f pushed by oflatt
52s main
main
52s
Add a dataset generated from lean-egg Build #171: Pull request #50 synchronize by marcusrossel
56s marcusrossel:main
marcusrossel:main
56s
Add a dataset generated from lean-egg Build #169: Pull request #50 synchronize by marcusrossel
30s marcusrossel:main
marcusrossel:main
30s
Merge pull request #51 from oflatt/oflatt-nits Build #166: Commit 935b785 pushed by oflatt
1m 35s main
main
1m 35s
Copilot code review Copilot code review #1: by Copilot AI
5m 23s refs/pull/51/head
refs/pull/51/head
5m 23s
Fix nits and add toolchain file Build #165: Pull request #51 opened by oflatt
1m 1s oflatt:oflatt-nits
oflatt:oflatt-nits
1m 1s
Add a dataset generated from lean-egg Build #164: Pull request #50 opened by marcusrossel
42s marcusrossel:main
marcusrossel:main
42s
add prio-queue extractor and data/constructed (#37) Build #161: Commit cf9a2c3 pushed by mwillsey
53s main
main
53s
add two datasets generated from papers (#47) Build #160: Commit 35defb0 pushed by mwillsey
45s main
main
45s
Add two datasets generated from papers Build #159: Pull request #47 opened by yaohuicai
50s yaohuicai:main
yaohuicai:main
50s
Merge pull request #46 from yaohuicai/main Build #158: Commit e4903d7 pushed by oflatt
59s main
main
59s
Add two datasets converted from NP-hard problems Build #157: Pull request #46 opened by yaohuicai
55s yaohuicai:main
yaohuicai:main
55s