Skip to content

Actions: uwplse/ruler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

delete some stuff Tests #1362: Commit 65859f2 pushed by ajpal
22m 30s ajpal-ruler-comp
ajpal-ruler-comp
22m 30s
Merge pull request #238 from uwplse/pavpanchekha-patch-1 Tests #1361: Commit 7ed456d pushed by pavpanchekha
26m 0s main
main
26m 0s
Update nightly.sh Tests #1360: Commit de8a77e pushed by pavpanchekha
26m 9s pavpanchekha-patch-1
pavpanchekha-patch-1
26m 9s
add 1 to trig wkld Tests #1359: Commit b3c4e66 pushed by ajpal
26m 15s ajpal-trig-1
ajpal-trig-1
26m 15s
derive a5 cs2 Tests #1358: Commit b9d4440 pushed by ajpal
10m 14s ajpal-llm
ajpal-llm
10m 14s
halide case study 2 Tests #1357: Commit ccb8291 pushed by ajpal
10m 20s ajpal-llm
ajpal-llm
10m 20s
minimize trig and exp rules Tests #1356: Commit 3fc2efc pushed by ajpal
10m 30s ajpal-llm
ajpal-llm
10m 30s
halide case study 1 final Tests #1355: Commit c27f3a8 pushed by ajpal
10m 47s ajpal-llm
ajpal-llm
10m 47s
halide constnt folding Tests #1354: Commit 6a890bd pushed by ajpal
10m 19s ajpal-llm
ajpal-llm
10m 19s
disable claude sonnet Tests #1353: Commit f8a65a2 pushed by ajpal
10m 25s ajpal-llm
ajpal-llm
10m 25s
more models Tests #1352: Commit 3873af9 pushed by ajpal
10m 31s ajpal-llm
ajpal-llm
10m 31s
tweaks to case studies Tests #1351: Commit 280ef50 pushed by ajpal
10m 12s ajpal-llm
ajpal-llm
10m 12s
clippy Tests #1350: Commit a1221f3 pushed by ajpal
10m 33s ajpal-llm
ajpal-llm
10m 33s
case study 2 Tests #1349: Commit 6420905 pushed by ajpal
10m 21s ajpal-llm
ajpal-llm
10m 21s
remove duplicates when appending wklds Tests #1348: Commit 0ad0d5b pushed by ajpal
27m 43s ajpal-wkld-dup
ajpal-wkld-dup
27m 43s
fmt Tests #1347: Commit b3f13a1 pushed by bksaiki
26m 10s cleanup-trig
cleanup-trig
26m 10s
fix again Tests #1346: Commit 5bd914b pushed by bksaiki
25m 38s cleanup-trig
cleanup-trig
25m 38s
fixes Tests #1345: Commit fc97e04 pushed by bksaiki
25m 38s cleanup-trig
cleanup-trig
25m 38s
Merge pull request #234 from uwplse/fixes Tests #1344: Commit 7402f2f pushed by bksaiki
26m 48s main
main
26m 48s
update aliases Tests #1343: Commit 32aa9fd pushed by bksaiki
25m 53s fixes
fixes
25m 53s
fix filenames Tests #1342: Commit 016b690 pushed by ajpal
56m 17s ajpal-llm
ajpal-llm
56m 17s
skip tests in ci; cheaper model Tests #1341: Commit 5127cf8 pushed by ajpal
55m 0s ajpal-llm
ajpal-llm
55m 0s
write derivability results to files Tests #1340: Commit 0adb6b8 pushed by ajpal
59m 43s ajpal-llm
ajpal-llm
59m 43s
full llm script Tests #1339: Commit 350a404 pushed by ajpal
57m 39s ajpal-llm
ajpal-llm
57m 39s
filter out unsound rules from llm Tests #1338: Commit e5232ca pushed by ajpal
1h 13m 34s ajpal-llm
ajpal-llm
1h 13m 34s