Back to pull request #4815

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre_job	6s
WASI build	0s
Prepare Visual Studio build	0s
Build nix flake	0s
Visual Studio build	0s
	6s