Skip to content
Rust

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

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 #3041

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 12s
fmt
35s
contracts-build
1m 1s
why3
5m 32s
9m 20s