Check for stage0 changes

fix: display deprecation warning for simp lemmas on the lemma name #1386

Sign in to view logs

Triggered via pull request June 13, 2024 20:22

joneugster

opened #4448

hhu-adam:simp_deprecation_ref

Status Success

Total duration 47s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue