Support for requires and ensures clauses #3361

Sign in to view logs

Triggered via pull request June 28, 2023 19:10

synchronize #2555

JustusAdam:simple-requires-ensures

Status Success

Total duration 4m 35s

Artifacts –

audit.yml

on: pull_request