Windows

Add Tactician to the platform #1877

Sign in to view logs

Triggered via pull request July 25, 2024 21:06

LasseBlaauwbroek

synchronize #423

coq-tactician:tactician

Status Failure

Total duration 1h 5m 56s

Artifacts –

windows.yml

on: pull_request

Matrix: Windows

Matrix: Smoke test Windows

Annotations

1 error

Windows (64, 8.18~2023.11)

Process completed with exit code 1.