Implement case 2 and 3 better. #1048

	name: Faster configuration (constant-time GMP)

	on:
	push:
	branches:
	- '**' # all branches
	pull_request:
	branches:
	- '**' # all branches

	jobs:
	build:
	name: ${{ matrix.config.name }}
	runs-on: ${{ matrix.config.os }}
	strategy:
	fail-fast: false
	matrix:
	config:
	- {
	name: "Windows Latest - MinGW",
	os: windows-latest,
	cc: "gcc"
	}
	- {
	name: "Ubuntu Latest - GCC",
	os: ubuntu-latest,
	cc: "gcc",
	}
	- {
	name: "Ubuntu Latest - Clang",
	os: ubuntu-latest,
	cc: "clang",
	}
	- {
	name: "MacOS Latest",
	os: macos-latest,
	cc: "clang",
	}

	defaults:
	run:
	shell: ${{ matrix.config.os == 'windows-latest' && 'msys2 {0}' \|\| 'bash' }}

	steps:
	- uses: actions/checkout@v4

	- name: Install Linux Dependencies
	if: runner.os == 'Linux'
	run: sudo apt install libgmp-dev

	- name: Install MacOS Dependencies
	if: runner.os == 'MacOS'
	run: brew install gmp

	- name: Set MinGW enviroment
	if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
	uses: msys2/setup-msys2@v2
	with:
	msystem: MINGW64
	install: >-
	git
	base-devel
	gcc
	cmake
	gmp
	gmp-devel
	update: true

	- name: Run CMake (MingW)
	if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
	run: \|
	mkdir build
	cd build
	cmake -DSEED= -DBENCH=0 -DARITH=gmp-sec -G "Unix Makefiles" ..

	- name: Run CMake (standard)
	if: ${{ !(runner.os == 'Windows') }}
	shell: bash
	run: \|
	mkdir build
	cd build
	cmake -DCMAKE_C_COMPILER=${{ matrix.config.cc }} -DSEED= -DBENCH=0 -DARITH=gmp-sec ..

	- name: CMake Build
	run: cmake --build build

	- name: CMake Test
	run: \|
	cd build
	ctest --verbose .

Provide feedback