Delete artifact branch when pull requests are closed

Bump hypothesis from 6.124.0 to 6.124.1 #575

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Harden runner / Hardening	6s
Delete artifact branch	8s
	14s