Test Workspace

Move to annotated core lib #3486

Sign in to view logs

Triggered via pull request November 26, 2024 17:16

cmester0

synchronize #1064

coq-generic-printer-annotated-core-lib

Status Success

Total duration 6m 50s

Artifacts –

test.yml

on: pull_request

Matrix: test-workspace

Annotations

1 warning

test-workspace (windows-latest)

Failed to restore: Cache service responded with 429