Skip to content
Build

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

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

Triggered via pull request October 1, 2024 12:36
@JLimpergJLimperg
synchronize #163
apply-iff-warn-msg
Status Success
Total duration 1m 44s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in