Update Resource Gallery

Link to Herbie documentation (trying again) #100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
validate-user-submission	13s
create-pull-request	0s
	13s