CI build and push (PR)

[Bug] "Restart if recording already exists" checkbox doesn't work #3100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-before-build	0s
checkout-branch	0s
code-analysis	0s
build-and-test	0s
push-to-ghcr	0s
comment-image	0s
	0s