Fix discard algorithm compensating bad games too much #844

	name: ci

	on:
	push:
	branches:
	- main
	- dev
	workflow_dispatch: {}

	env:
	REGISTRY: ghcr.io
	IMAGE_NAME: ${{ github.repository }}

	jobs:
	ci:
	runs-on: ${{ matrix.os }}

	strategy:
	matrix:
	os: [ubuntu-latest]

	steps:
	- name: Checkout 🛎
	uses: actions/checkout@master

	- name: Wait for other workflow runs to finish
	uses: softprops/turnstyle@v1
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Log in to the Container registry
	uses: docker/[email protected]
	with:
	registry: ${{ env.REGISTRY }}
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Extract metadata (tags, labels) for Docker
	id: meta
	uses: docker/[email protected]
	with:
	images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}{% raw %}

	- name: Set image Tag
	run: \|
	echo IMAGE_TAG=dev >> $GITHUB_ENV
	if [ $GITHUB_REF = "refs/heads/main" ]; then
	echo IMAGE_TAG=latest >> $GITHUB_ENV
	fi

	- name: Build and push Docker images
	uses: docker/[email protected]
	with:
	context: .
	build-args: SEEDGEN_TAG=${{ env.IMAGE_TAG }}
	push: true
	tags: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.IMAGE_TAG }}
	labels: ${{ steps.meta.outputs.labels }}

Provide feedback