Skip to content

Actions: marekpiotrow/UWrMaxSat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fixing some problems found by testSolver.py from https://github.com/t… Build on Mac OS #80: Commit 79ec525 pushed by marekpiotrow
May 8, 2024 06:31 52s master
master
May 8, 2024 06:31 52s
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
Improving cooperation with SCIP Build on Mac OS #79: Commit cb5ebd1 pushed by marekpiotrow
May 6, 2024 14:19 46s master
master
May 6, 2024 14:19 46s
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 workflows/macos-build.yml Build on Mac OS #78: Commit 721c505 pushed by marekpiotrow
April 28, 2024 09:45 52s master
master
April 28, 2024 09:45 52s
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 Mac OS #77: Commit 0d439e3 pushed by marekpiotrow
April 28, 2024 09:32 40s master
master
April 28, 2024 09:32 40s
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 Mac OS #76: Commit 3e4dc34 pushed by marekpiotrow
April 28, 2024 09:20 29s master
master
April 28, 2024 09:20 29s
Fixing again workflows/macos-build.yml Build on Mac OS #75: Commit 01b6126 pushed by marekpiotrow
April 28, 2024 07:50 17s master
master
April 28, 2024 07:50 17s
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 Mac OS #74: Commit 5d65eba pushed by marekpiotrow
April 28, 2024 07:05 47s master
master
April 28, 2024 07:05 47s
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 Mac OS #73: Commit b1d226d pushed by marekpiotrow
April 28, 2024 06:25 34s master
master
April 28, 2024 06:25 34s
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
Fixing the memory allocation problem from Issue #8 Build on Mac OS #72: Commit 0a75f48 pushed by marekpiotrow
March 22, 2024 10:04 1m 23s master
master
March 22, 2024 10:04 1m 23s
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
Correcting the new version of README.md Build on Mac OS #71: Commit e45cd2c pushed by marekpiotrow
March 19, 2024 08:16 1m 29s master
master
March 19, 2024 08:16 1m 29s
Fixing again workflow files Build on Mac OS #70: Commit 1dda85a pushed by marekpiotrow
March 18, 2024 15:51 1m 26s master
master
March 18, 2024 15:51 1m 26s
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 Mac OS #67: Commit fddf1a4 pushed by marekpiotrow
March 18, 2024 15:02 42s master
master
March 18, 2024 15:02 42s
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