Skip to content

Actions: meelgroup/ganak

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
924 workflow runs
924 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update build #96: Commit c3e2177 pushed by msoos
11m 29s sat_skip
sat_skip
11m 29s
Update build #95: Commit 20a5844 pushed by msoos
12m 21s sat_skip
sat_skip
12m 21s
Graph build #94: Commit 46a8f62 pushed by msoos
11m 20s nodonkey
nodonkey
11m 20s
Let's make it UNIFORM example lit so cache is not messed up build #93: Commit b0619e9 pushed by msoos
11m 49s blocking
blocking
11m 49s
Clean blocking implementation build #92: Commit 745e12e pushed by msoos
13m 20s blocking
blocking
13m 20s
Fixing issue with low TD build #91: Commit 9a5b277 pushed by msoos
15m 21s nodonkey
nodonkey
15m 21s
Fix Float issue build #90: Commit 515b28a pushed by msoos
15m 40s blocking
blocking
15m 40s
Graph build #89: Commit fb6f300 pushed by msoos
11m 44s blocking
blocking
11m 44s
When TD is <= 0 just forget about it build #88: Commit 13784d8 pushed by msoos
12m 3s blocking
blocking
12m 3s
Merge branch 'nodonkey' into blocking build #87: Commit bd48cae pushed by msoos
17m 8s blocking
blocking
17m 8s
Graph build #86: Commit 1e20e0e pushed by msoos
12m 25s nodonkey
nodonkey
12m 25s
More complete version build #85: Commit 92f2e90 pushed by msoos
16m 22s nodonkey
nodonkey
16m 22s
More complete version build #84: Commit cb38201 pushed by msoos
11m 47s blocking
blocking
11m 47s
Print all versions systematically build #83: Commit cb1090a pushed by msoos
12m 0s blocking
blocking
12m 0s
More complete version build #82: Commit f9634a3 pushed by msoos
17m 6s blocking
blocking
17m 6s
Trying example blocking lit build #81: Commit e065fbb pushed by msoos
11m 33s blocking
blocking
11m 33s
Randomize lit to take build #80: Commit 90a9456 pushed by msoos
12m 40s blocking
blocking
12m 40s
Guard against unsat build #79: Commit 340058c pushed by msoos
12m 2s blocking
blocking
12m 2s
Allow command line control, better printing build #78: Commit 897af4f pushed by msoos
11m 46s blocking
blocking
11m 46s
Better example generation build #77: Commit b415898 pushed by msoos
11m 10s blocking
blocking
11m 10s
Fixing for vars already set build #76: Commit da2e8e5 pushed by msoos
11m 54s blocking
blocking
11m 54s
Fixing off by one build #75: Commit e2e02de pushed by msoos
11m 29s blocking
blocking
11m 29s
Fixing seen cleaning build #74: Commit c0762b6 pushed by msoos
11m 53s blocking
blocking
11m 53s
flake.lock: Update build #73: Commit f506278 pushed by msoos
12m 47s nodonkey
nodonkey
12m 47s
update flake build #72: Commit 1dfa0a8 pushed by msoos
11m 10s nodonkey
nodonkey
11m 10s
ProTip! You can narrow down the results and go further in time using created:<2025-03-16 or the other filters available.