of course lol #95

	name: CI on push

	on:
	push:

	concurrency:
	# group by workflow and ref; the last slightly strange component ensures that for pull
	# requests, we limit to 1 concurrent job, but for the main branch we don't
	group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' \|\| github.run_number }}
	# Cancel intermediate builds, but only if it is a pull request build.
	cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}

	jobs:
	##############################################################################
	# cygwin with gcc
	##############################################################################
	cygwin-gcc:
	name: Cygwin GCC (x0.5)

	runs-on: windows-latest

	defaults:
	run:
	shell: C:\cygwin64\bin\bash.exe --login -o igncr '{0}'

	env:
	REPO: /cygdrive/d/a/flint/flint # FIXME: De-hardcode this
	CC: "gcc"
	FLINT_TEST_MULTIPLIER: "0.5"

	steps:
	- name: Make Git to use LF
	shell: pwsh
	run: \|
	git config --global core.autocrlf false
	git config --global core.eol lf

	- uses: actions/checkout@v4

	- name: "Set up Cygwin"
	uses: gap-actions/setup-cygwin@v1
	with:
	PKGS_TO_INSTALL: "gcc-core,make,libgmp-devel,libmpfr-devel,libtool,autoconf,automake"

	- name: "Setup"
	run: \|
	gcc --version
	make --version
	autoconf --version
	libtool --version

	- name: "Configure"
	run: \|
	cd ${REPO}
	./bootstrap.sh
	./configure \
	CC=${CC}

	- name: "Compile library"
	run: \|
	cd ${REPO}
	make -j$(expr $(nproc) + 1)

	- name: "Check parts"
	run: \|
	cd ${REPO}
	make check MOD=fq_default_poly ARGS=fq_default_poly_evaluate

Provide feedback