CI

Merge pull request #6 from starkware-libs/dafna/sync-repos #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	8m 15s
commitlint	14s
format	37s
run-tests	14m 42s
all-tests	4s
	23m 52s