Test installations

feat(engine/fstar): `--interfaces`: add option to extract only `fsti` #1131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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