ahojnnes enabled auto-merge (squash)
September 16, 2023 17:46ahojnnes added 7 commits
September 16, 2023 20:32ahojnnes
merged commit f47fee3
into
main
ahojnnes deleted the user/joschonb/gui-disabled-ci branch
September 16, 2023 22:08Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment