Skip to content

Reintroduce UnivSubst.nf_evars_and_universes_opt_subst to please Equa… #845

Reintroduce UnivSubst.nf_evars_and_universes_opt_subst to please Equa…

Reintroduce UnivSubst.nf_evars_and_universes_opt_subst to please Equa… #845

Triggered via push January 18, 2024 19:01
Status Success
Total duration 1h 19m 30s
Artifacts

ci-macos.yml

on: push
Fit to window
Zoom out
Zoom in