Skip to content

Actions: marekpiotrow/UWrMaxSat

Actions

Build on Windows MSYS2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msys2-build.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing the problem with a goal value of the first assignment given by… Build on Windows MSYS2 #60: Commit a8a97d4 pushed by marekpiotrow
July 14, 2024 06:18 3m 11s master
master
July 14, 2024 06:18 3m 11s
Fixing the problems described in Discusion #10 Build on Windows MSYS2 #59: Commit c9ef220 pushed by marekpiotrow
July 10, 2024 16:38 2m 55s master
master
July 10, 2024 16:38 2m 55s
Fixing the function setFrozen in CadicalWrap.h Build on Windows MSYS2 #58: Commit cc703a4 pushed by marekpiotrow
July 8, 2024 11:58 4m 14s master
master
July 8, 2024 11:58 4m 14s
Add the description of the last changes to README Build on Windows MSYS2 #57: Commit fc5d4c4 pushed by marekpiotrow
June 8, 2024 14:58 3m 50s master
master
June 8, 2024 14:58 3m 50s
Changing the version to 1.6.0 Build on Windows MSYS2 #56: Commit bff7234 pushed by marekpiotrow
May 27, 2024 07:40 3m 21s master
master
May 27, 2024 07:40 3m 21s
A few further fixes to issues found while testing with CaDiCal Build on Windows MSYS2 #55: Commit b4ba41f pushed by marekpiotrow
May 8, 2024 09:52 2m 44s master
master
May 8, 2024 09:52 2m 44s
Fixing some problems found by testSolver.py from https://github.com/t… Build on Windows MSYS2 #54: Commit 79ec525 pushed by marekpiotrow
May 8, 2024 06:31 2m 48s master
master
May 8, 2024 06:31 2m 48s
Improving cooperation with SCIP Build on Windows MSYS2 #53: Commit cb5ebd1 pushed by marekpiotrow
May 6, 2024 14:19 3m 29s master
master
May 6, 2024 14:19 3m 29s
Fixing workflows/macos-build.yml Build on Windows MSYS2 #52: Commit 721c505 pushed by marekpiotrow
April 28, 2024 09:45 2m 59s master
master
April 28, 2024 09:45 2m 59s
Fixing again workflows/macos-build.yml Build on Windows MSYS2 #51: Commit 0d439e3 pushed by marekpiotrow
April 28, 2024 09:32 3m 0s master
master
April 28, 2024 09:32 3m 0s
Fixing again workflows/macos-build.yml Build on Windows MSYS2 #50: Commit 3e4dc34 pushed by marekpiotrow
April 28, 2024 09:20 2m 59s master
master
April 28, 2024 09:20 2m 59s
Fixing again workflows/macos-build.yml Build on Windows MSYS2 #49: Commit 01b6126 pushed by marekpiotrow
April 28, 2024 07:50 3m 6s master
master
April 28, 2024 07:50 3m 6s
Fixing workflows/macos-build.yml Build on Windows MSYS2 #48: Commit 5d65eba pushed by marekpiotrow
April 28, 2024 07:05 3m 15s master
master
April 28, 2024 07:05 3m 15s
Fixing the race condition problem described in Issue #9 Build on Windows MSYS2 #47: Commit b1d226d pushed by marekpiotrow
April 28, 2024 06:25 3m 39s master
master
April 28, 2024 06:25 3m 39s
Fixing the memory allocation problem from Issue #8 Build on Windows MSYS2 #46: Commit 0a75f48 pushed by marekpiotrow
March 22, 2024 10:04 3m 1s master
master
March 22, 2024 10:04 3m 1s
Correcting the new version of README.md Build on Windows MSYS2 #45: Commit e45cd2c pushed by marekpiotrow
March 19, 2024 08:16 3m 53s master
master
March 19, 2024 08:16 3m 53s
Fixing again workflow files Build on Windows MSYS2 #44: Commit 1dda85a pushed by marekpiotrow
March 18, 2024 15:51 3m 9s master
master
March 18, 2024 15:51 3m 9s
Fixing the problem with the dead link to COMiniSatPS (issue #7) Build on Windows MSYS2 #41: Commit fddf1a4 pushed by marekpiotrow
March 18, 2024 15:02 2m 15s master
master
March 18, 2024 15:02 2m 15s
Correcting the MSYS2 environment for UCRT64 in Github Actions Build on Windows MSYS2 #40: Commit 487c37c pushed by marekpiotrow
March 13, 2024 18:22 3m 12s master
master
March 13, 2024 18:22 3m 12s
Changing the MSYS2 environment from MINGW64 to UCRT64 in Github Actions Build on Windows MSYS2 #39: Commit 37fde54 pushed by marekpiotrow
March 13, 2024 18:07 2m 8s master
master
March 13, 2024 18:07 2m 8s
Fixing compilation problems on Windows with MSYS2/UCRT64 (Issue #6) Build on Windows MSYS2 #38: Commit 66dccb2 pushed by marekpiotrow
March 11, 2024 16:51 3m 31s master
master
March 11, 2024 16:51 3m 31s
Fixing the bugs described in Issue #5 Build on Windows MSYS2 #37: Commit b74c415 pushed by marekpiotrow
February 27, 2024 15:27 3m 18s master
master
February 27, 2024 15:27 3m 18s
Correcting a Makefile rule for the UWrMaxSat dynamic library Build on Windows MSYS2 #36: Commit 50cbe93 pushed by marekpiotrow
February 10, 2024 08:28 3m 53s master
master
February 10, 2024 08:28 3m 53s
Optimizing memory usage in the function isSeparating (Pre_separator.cc) Build on Windows MSYS2 #35: Commit dc39657 pushed by marekpiotrow
December 11, 2023 13:22 5m 40s master
master
December 11, 2023 13:22 5m 40s
Too big vectors in the function isSeparating (Pre_separator.cc) can c… Build on Windows MSYS2 #34: Commit 299b2e2 pushed by marekpiotrow
December 9, 2023 11:09 5m 20s master
master
December 9, 2023 11:09 5m 20s