Skip to content

Actions: marekpiotrow/UWrMaxSat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Correcting solver results on empty instances or empty hard/soft clauses. Build on Mac OS #59: Commit c53a51a pushed by marekpiotrow
December 6, 2023 11:21 1m 36s master
master
December 6, 2023 11:21 1m 36s
Correcting solver results on empty instances or empty hard/soft clauses. Build on Windows MSYS2 #33: Commit c53a51a pushed by marekpiotrow
December 6, 2023 11:21 5m 27s master
master
December 6, 2023 11:21 5m 27s
Fixings bugs discovered in the fuzzy testing of the paper 'Uncovering… Build on Mac OS #58: Commit 89f2d65 pushed by marekpiotrow
December 5, 2023 10:53 2m 14s master
master
December 5, 2023 10:53 2m 14s
Fixings bugs discovered in the fuzzy testing of the paper 'Uncovering… Build on Windows MSYS2 #32: Commit 89f2d65 pushed by marekpiotrow
December 5, 2023 10:53 5m 27s master
master
December 5, 2023 10:53 5m 27s
Updating actions scripts to the newer version - fixing MSYS2 script Build on Mac OS #57: Commit 4a986a9 pushed by marekpiotrow
November 26, 2023 18:42 2m 15s master
master
November 26, 2023 18:42 2m 15s
Updating actions scripts to the newer version - fixing MSYS2 script Build on Windows MSYS2 #31: Commit 4a986a9 pushed by marekpiotrow
November 26, 2023 18:42 3m 0s master
master
November 26, 2023 18:42 3m 0s
Updating actions scripts to the newer version - fixing Build on Mac OS #56: Commit ab2e9f2 pushed by marekpiotrow
November 26, 2023 18:37 1m 22s master
master
November 26, 2023 18:37 1m 22s
Updating actions scripts to the newer version - fixing Build on Windows MSYS2 #30: Commit ab2e9f2 pushed by marekpiotrow
November 26, 2023 18:37 1m 47s master
master
November 26, 2023 18:37 1m 47s
Updating actions scripts to the newer version Build on Mac OS #55: Commit ddb2a59 pushed by marekpiotrow
November 26, 2023 18:18 17s master
master
November 26, 2023 18:18 17s
Updating actions scripts to the newer version Build on Windows MSYS2 #29: Commit ddb2a59 pushed by marekpiotrow
November 26, 2023 18:18 14s master
master
November 26, 2023 18:18 14s
Fixing a problem with a satisfied literals in soft clauses, when pass… Build on Mac OS #54: Commit 40d5e45 pushed by marekpiotrow
November 26, 2023 18:07 18s master
master
November 26, 2023 18:07 18s
Fixing a problem with a satisfied literals in soft clauses, when pass… Build on Windows MSYS2 #28: Commit 40d5e45 pushed by marekpiotrow
November 26, 2023 18:07 4m 45s master
master
November 26, 2023 18:07 4m 45s