Skip to content
Github CI

Typecheck ignoring errors instead of globalize for Ltac2 Globalize #3527

Sign in to view logs

Typecheck ignoring errors instead of globalize for Ltac2 Globalize

Typecheck ignoring errors instead of globalize for Ltac2 Globalize #3527

Triggered via pull request February 26, 2026 14:59
@SkySkimmerSkySkimmer
synchronize #21618
SkySkimmer:noglobalize
Status Success
Total duration 35m 9s
Artifacts –

ci-github.yml

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