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

Triggered via pull request September 29, 2024 10:37
@JLimpergJLimperg
synchronize #163
apply-iff-warn-msg
Status Success
Total duration 1m 25s
Artifacts –

build.yml

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