Skip to content
Update Silver Submodule

Test infrastructure for --counterexample=variables tests for both bac… #246

Sign in to view logs

Test infrastructure for --counterexample=variables tests for both bac…

Test infrastructure for --counterexample=variables tests for both bac… #246

Run time

Learn about OS pricing on GitHub Actions
Job Run time
update_submodule (silicon)
8s
update_submodule (carbon)
4s
12s