Fix / test SIMDified EstimateCost (#4360) #1102

	# Copyright (c) the JPEG XL Project Authors. All rights reserved.
	#
	# Use of this source code is governed by a BSD-style
	# license that can be found in the LICENSE file.

	# Workflow for mirroring the github libjxl repo to the wg1 gitlab repo

	name: Mirror to GitLab

	on:
	push:
	branches:
	- main
	- v..x

	env:
	BRANCH_NAME: ${{ github.head_ref \|\| github.ref_name }}

	permissions:
	contents: read

	jobs:
	mirror:
	if: github.repository_owner == 'libjxl'
	runs-on: ubuntu-latest

	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
	with:
	egress-policy: audit

	- name: Checkout source
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	fetch-depth: 0 # Disable shallow clone

	- name: Set up SSH
	run: \|
	mkdir -p ~/.ssh/
	chmod 700 ~/.ssh/
	echo "${{ secrets.GITLAB_DEPLOY_KEY }}" > ~/.ssh/id_ed25519
	chmod 400 ~/.ssh/id_ed25519
	ssh-keyscan gitlab.com >> ~/.ssh/known_hosts

	- name: Push to GitLab
	env:
	GIT_SSH_COMMAND: ssh -v -i ~/.ssh/id_ed25519 -o IdentitiesOnly=yes -o StrictHostKeyChecking=no
	run: \|
	git remote add gitlab git@gitlab.com:wg1/jpeg-xl.git
	git push gitlab $BRANCH_NAME:$BRANCH_NAME

Provide feedback