CI

Delete useless extern #462

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check linter	16s
Check cairo formatting	5s
Check rust formatting	12s
Tests	2m 20s
Check typos	6s
	2m 59s