Skip to content

Actions: FlorentAvellaneda/EvalMaxSAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix assert CMake on multiple platforms #12: Commit 94e6774 pushed by FlorentAvellaneda
2m 14s master
master
2m 14s
Change return values for l_False and l_Undef cases CMake on multiple platforms #11: Commit 5c29e43 pushed by FlorentAvellaneda
2m 14s master
master
2m 14s
Correction MonGlucose41::getValue CMake on multiple platforms #10: Commit decbd81 pushed by FlorentAvellaneda
2m 0s master
master
2m 0s
correction bug CMake on multiple platforms #9: Commit aabaefd pushed by FlorentAvellaneda
2m 21s master
master
2m 21s
Add glucose for lib CMake on multiple platforms #8: Commit ebd2fbe pushed by FlorentAvellaneda
2m 3s master
master
2m 3s
make install CMake on multiple platforms #7: Commit 4436091 pushed by FlorentAvellaneda
1m 54s master
master
1m 54s
Restructure CMake configuration CMake on multiple platforms #6: Commit 0dabb37 pushed by FlorentAvellaneda
1m 56s master
master
1m 56s
remove warning CMake on multiple platforms #5: Commit 65da427 pushed by FlorentAvellaneda
2m 0s master
master
2m 0s
Incremental solve CMake on multiple platforms #4: Commit 1deba90 pushed by FlorentAvellaneda
2m 3s master
master
2m 3s