Add the description of the last changes to README #57

	name: Build on Windows MSYS2

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	jobs:
	MSYS2-build-and-test:

	runs-on: windows-latest
	defaults:
	run:
	shell: msys2 {0}
	steps:

	- uses: msys2/setup-msys2@v2
	with:
	msystem: UCRT64
	update: true
	install: git make patch unzip mingw-w64-ucrt-x86_64-toolchain mingw-w64-ucrt-x86_64-zlib mingw-w64-ucrt-x86_64-gmp
	- uses: actions/checkout@v4
	- name: build COMiniSatPS
	run: \|
	cd ..
	git clone https://github.com/marekpiotrow/cominisatps
	cd cominisatps
	rm core simp mtl utils
	ln -s minisat/core minisat/simp minisat/mtl minisat/utils .
	make lr
	- name: build the MaxPre preprocessor
	run: \|
	cd ..
	git clone https://github.com/Laakeri/maxpre
	cd maxpre
	sed -i 's/-g/-D NDEBUG/' src/Makefile
	make lib
	- name: build UWrMaxSat
	run: \|
	make config
	USESCIP= make r
	- name: test executable
	run: \|
	set +e
	build/release/bin/uwrmaxsat -of Examples/unsat.opb
	if ! [ $? -eq 20 ] ; then exit 1 ; fi
	build/release/bin/uwrmaxsat -of Examples/garden9x9.opb
	if ! [ $? -eq 30 ] ; then exit 1 ; fi
	build/release/bin/uwrmaxsat -bm Examples/satellite02ac.wcsp.wcnf
	if ! [ $? -eq 30 ] ; then exit 1 ; fi
	build/release/bin/uwrmaxsat -maxpre -bm Examples/satellite02ac.wcsp.wcnf
	if ! [ $? -eq 30 ] ; then exit 1 ; fi
	- name: build and test BIGWEIGHTS
	run: \|
	USESCIP= make clean
	sed -i 's/BIGWEIGHTS?=#/BIGWEIGHTS?=/' config.mk
	USESCIP= make r
	set +e
	build/release/bin/uwrmaxsat -of Examples/stein27_bignum.opb
	if ! [ $? -eq 30 ] ; then exit 1 ; fi

Provide feedback