Windows CI

Ltac redefinition support standard localities (default SuperGlobal) #4428

Sign in to view logs

Summary
Jobs
- Windows (64)
Run details
- Usage
- Workflow file

Triggered via push January 14, 2025 16:57

SkySkimmer

tac-redef-locality

Status Failure

Total duration 46m 43s

Artifacts –

ci-windows.yml

on: push

Matrix: Windows

Annotations

1 error

Windows (64)

Process completed with exit code 1.