Skip to content
Viper Roots CI

update foundational_boogie submodule to cfg_optimizations branch #4

Sign in to view logs

update foundational_boogie submodule to cfg_optimizations branch

update foundational_boogie submodule to cfg_optimizations branch #4

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
4s
build (ubuntu-latest)
7s
build (ubuntu-latest)
38s
49s