Prestissimo check and build

[DO NOT REVIEW] Test Prestissimo with GitHub Action #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format check	27s
Header check	14s
Linux build all	0s
	41s