Skip to content
GitHub macOS CI

Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:() #2402

Sign in to view logs

Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:()

Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:() #2402

Triggered via push October 10, 2023 12:54
@SkySkimmerSkySkimmer
pushed 669dc74
tacinterp-constr-no-expand-evars
Status Success
Total duration 33m 24s
Artifacts –

ci-macos.yml

on: push
macOS
33m 10s
macOS
Fit to window
Zoom out
Zoom in