Delete artifact branch when pull requests are closed

Bump hypothesis from 6.106.0 to 6.108.3 #283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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