Minor Seq Optimizations (#1308) #44

	name: Auto Merge Main to Nightly

	on:
	push:
	branches:
	- main

	jobs:
	merge:
	runs-on: ubuntu-latest

	permissions:
	contents: write

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	ref: nightly
	fetch-depth: 0 # need all history to merge main
	# workaround for allow-failure not existing : https://github.com/orgs/community/discussions/15452#discussioncomment-6012299
	- name: Merge main to nightly
	run: \|
	#
	set +e
	set +o pipefail

	function wrap_command() {
	git config user.name "GitHub Actions"
	git config user.email "[email protected]"
	git merge origin/main -m "merge main to nightly" --no-edit
	git push origin nightly
	}

	wrap_command
	echo $?
	exit 0

Provide feedback