Skip to content

Actions: meelgroup/arjun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleaner build #99: Commit 9896b7c pushed by msoos
March 19, 2025 21:27 6m 45s synthesis2
synthesis2
March 19, 2025 21:27 6m 45s
Better comments build #98: Commit 1b69ccb pushed by msoos
March 19, 2025 18:35 5m 26s synthesis2
synthesis2
March 19, 2025 18:35 5m 26s
Better version printing build #97: Commit b078263 pushed by msoos
March 18, 2025 20:59 5m 25s synthesis2
synthesis2
March 18, 2025 20:59 5m 25s
More explicit code build #96: Commit 1df79c6 pushed by msoos
March 16, 2025 17:54 4m 50s synthesis2
synthesis2
March 16, 2025 17:54 4m 50s
More explanation build #95: Commit ec64d08 pushed by msoos
March 16, 2025 17:50 4m 49s synthesis2
synthesis2
March 16, 2025 17:50 4m 49s
Mopre explanation, cleaner code build #94: Commit c4e39a1 pushed by msoos
March 16, 2025 17:48 5m 50s synthesis2
synthesis2
March 16, 2025 17:48 5m 50s
flake.lock: Update build #93: Commit 4dc67ad pushed by msoos
March 16, 2025 12:32 5m 32s synthesis2
synthesis2
March 16, 2025 12:32 5m 32s
update flake build #92: Commit 733e0e4 pushed by msoos
March 16, 2025 11:53 6m 55s synthesis2
synthesis2
March 16, 2025 11:53 6m 55s
Update flake build #91: Commit 15242b4 pushed by msoos
March 16, 2025 11:12 4m 52s synthesis2
synthesis2
March 16, 2025 11:12 4m 52s
Merge pull request #14 from itepastra/add-flake build #90: Commit 46bde7d pushed by msoos
March 16, 2025 11:05 5m 10s synthesis2
synthesis2
March 16, 2025 11:05 5m 10s
More speed via static_cast build #89: Commit ecad1c8 pushed by msoos
March 16, 2025 10:47 4m 48s synthesis2
synthesis2
March 16, 2025 10:47 4m 48s
Dealing with zero weights better build #88: Commit a1dbccc pushed by msoos
March 12, 2025 23:21 6m 16s synthesis2
synthesis2
March 12, 2025 23:21 6m 16s
Cleanup build #86: Commit b05b4cc pushed by msoos
March 11, 2025 00:10 7m 8s synthesis2
synthesis2
March 11, 2025 00:10 7m 8s
Fixing printing build #85: Commit 7051b5e pushed by msoos
March 10, 2025 22:43 5m 49s synthesis2
synthesis2
March 10, 2025 22:43 5m 49s
Update to have larger_than build #84: Commit d0a2f01 pushed by msoos
March 10, 2025 19:42 6m 7s synthesis2
synthesis2
March 10, 2025 19:42 6m 7s
Rename function build #83: Commit 83f9f57 pushed by msoos
March 9, 2025 23:16 8m 27s synthesis2
synthesis2
March 9, 2025 23:16 8m 27s
Actually, both can happen build #82: Commit 7bdc634 pushed by msoos
March 9, 2025 23:15 10m 46s synthesis2
synthesis2
March 9, 2025 23:15 10m 46s
Set zero weight lits at the very start build #81: Commit 385e19a pushed by msoos
March 9, 2025 23:14 5m 42s synthesis2
synthesis2
March 9, 2025 23:14 5m 42s
Set zero weight stuff build #80: Commit 8a22141 pushed by msoos
March 9, 2025 23:13 5m 29s synthesis2
synthesis2
March 9, 2025 23:13 5m 29s
Less warning noise build #79: Commit 8e0409b pushed by msoos
March 9, 2025 20:42 4m 53s synthesis2
synthesis2
March 9, 2025 20:42 4m 53s
Fixing memory usage estimate build #78: Commit 21963cd pushed by msoos
March 9, 2025 12:33 5m 59s synthesis2
synthesis2
March 9, 2025 12:33 5m 59s
No empty line build #77: Commit de7def6 pushed by msoos
March 8, 2025 21:13 5m 9s synthesis2
synthesis2
March 8, 2025 21:13 5m 9s
Cleaner build #76: Commit 506c45c pushed by msoos
March 8, 2025 21:12 5m 59s synthesis2
synthesis2
March 8, 2025 21:12 5m 59s
Update gitignore build #75: Commit 6998828 pushed by msoos
March 7, 2025 23:14 6m 18s synthesis2
synthesis2
March 7, 2025 23:14 6m 18s
Update tracer & cadical to include via <> build #74: Commit 1f9ba5b pushed by msoos
March 7, 2025 22:24 6m 33s synthesis2
synthesis2
March 7, 2025 22:24 6m 33s