Build and run tests

Verific frontend: fix `top_bound`/`bottom_bound` attributes #1494

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_docs_job	14s
pre_job	5s
Try build docs	0s
Reusable build	0s
Run docs tests	0s
Run tests	0s
	19s