Skip to content
Rust

simple_triggers option that adds triggers to def and spec axioms #3044

Sign in to view logs

simple_triggers option that adds triggers to def and spec axioms

simple_triggers option that adds triggers to def and spec axioms #3044

Run time

Learn about OS pricing on GitHub Actions
Job Run time
contracts-build
33s
why3
7m 4s
fmt
27s
build
5m 7s
13m 11s