Skip to content
GitHub macOS CI

Ltac redefinition support standard localities (default SuperGlobal) #4590

Sign in to view logs

Ltac redefinition support standard localities (default SuperGlobal)

Ltac redefinition support standard localities (default SuperGlobal) #4590

Triggered via push January 14, 2025 16:57
@SkySkimmerSkySkimmer
pushed 851e3db
tac-redef-locality
Status Success
Total duration 28m 57s
Artifacts –

ci-macos.yml

on: push
macOS
28m 46s
macOS
Fit to window
Zoom out
Zoom in