Test installations

Merge pull request #473 from hacspec/fstar-shallow-disj-pats #1130

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
setup_sh	0s
docker	0s
setup_sh_status	0s
	0s