Skip to content
Check for stage0 changes

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #6844

Sign in to view logs

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #6844

Triggered via pull request November 22, 2024 19:55
@leodemouraleodemoura
synchronize #6123
zetaPropagation
Status Success
Total duration 46s
Artifacts –

check-stage0.yml

on: pull_request
check-stage0-on-queue
37s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in