Skip to content
LeanAuto CI

replaced preserves with requires and ensures #558

Sign in to view logs

replaced preserves with requires and ensures

replaced preserves with requires and ensures #558

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LeanAuto CI
6m 1s
6m 1s