Skip to content
Build

Builder.Apply: suggest alias when warning about apply rule for Iff theorem #520

Sign in to view logs

Builder.Apply: suggest alias when warning about apply rule for Iff theorem

Builder.Apply: suggest alias when warning about apply rule for Iff theorem #520

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
1m 18s
1m 18s