Skip to content

Actions: logic-star-ai/swt-bench

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add TEX-T to news Build & Test #130: Commit 8c5a4d5 pushed by nielstron
41s master
master
41s
fix link Build & Test #129: Commit 22269bf pushed by nielstron
45s master
master
45s
fix link Build & Test #128: Commit 83b9f71 pushed by nielstron
44s master
master
44s
Add TEX-T Build & Test #127: Commit 5fdcd44 pushed by nielstron
45s master
master
45s
Update L* results, upload predicitions and run logs Build & Test #126: Commit a171d2f pushed by nielstron
46s master
master
46s
Merge pull request #37 from logic-star-ai/update-logos Build & Test #125: Commit 504a1dc pushed by mnmueller
1m 4s master
master
1m 4s
Update L* logos Build & Test #124: Pull request #37 opened by mnmueller
44s update-logos
update-logos
44s
Update L* logos Build & Test #123: Commit eb54e3d pushed by mnmueller
45s update-logos
update-logos
45s
Merge pull request #36 from logic-star-ai/feat/updated_eval Build & Test #122: Commit 443e03b pushed by nielstron
49s master
master
49s
Update run scores for latest release Build & Test #121: Pull request #36 synchronize by nielstron
47s feat/updated_eval
feat/updated_eval
47s
Run CI on *all* prs/branches Build & Test #120: Commit bc8cc81 pushed by nielstron
1m 12s master
master
1m 12s
Update run scores for latest release Build & Test #119: Pull request #36 opened by nielstron
44s feat/updated_eval
feat/updated_eval
44s
Merge pull request #35 from logic-star-ai/fix/api_long_files Build & Test #118: Commit e6c0826 pushed by nielstron
39s master
master
39s
Fix copying too large files into docker containers Build & Test #117: Pull request #35 synchronize by nielstron
46s fix/api_long_files
fix/api_long_files
46s
Fix copying too large files into docker containers Build & Test #116: Pull request #35 opened by nielstron
45s fix/api_long_files
fix/api_long_files
45s
Merge pull request #31 from logic-star-ai/fix/sympy Build & Test #115: Commit 50e9c89 pushed by nielstron
48s master
master
48s
Fix dataset when swt-filter = False Build & Test #114: Commit 8b30a89 pushed by nielstron
43s master
master
43s
Fix dataset when swt-filter = False Build & Test #113: Commit 459c913 pushed by nielstron
50s master
master
50s
Fix instances when swt-filter = False Build & Test #112: Commit 0319096 pushed by nielstron
43s master
master
43s
Merge pull request #34 from logic-star-ai/filter-instances Build & Test #111: Commit c4a0490 pushed by nielstron
48s master
master
48s
Add LogicStar AI results Build & Test #110: Commit bcbe57e pushed by mnmueller
48s logicstar-results
logicstar-results
48s
Add results for LogicStar AI Build & Test #109: Commit 832ed1e pushed by mnmueller
49s logicstar-results
logicstar-results
49s
Add results for LogicStar AI Build & Test #108: Commit f6e3e55 pushed by mnmueller
51s logicstar-results
logicstar-results
51s
Allow filtering of instances to official SWT during evaluation. Build & Test #107: Commit 2d07e06 pushed by mnmueller
44s logicstar-results
logicstar-results
44s
Allow filtering of instances to official SWT during evaluation. Build & Test #106: Pull request #34 opened by mnmueller
45s filter-instances
filter-instances
45s