Post-merge actions

fix website (#528) #367

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update_coverage_badge	6m 5s
update_coverage_badge	14s
update_coverage_badge	8m 27s
	14m 46s