Delete artifact branch when pull requests are closed

Bump python from `6076e7d` to `9ab3b6e` #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Harden runner / Hardening	8s
Delete artifact branch	4s
	12s