Skip to content
.github/workflows/charon.yml

Coq generic printer #717

Sign in to view logs

Coq generic printer

Coq generic printer #717

Triggered via pull request October 30, 2024 09:58
@cmester0cmester0
synchronize #987
coq-generic-printer
Status Success
Total duration 9m 26s
Artifacts –

charon.yml

on: pull_request
charon
9m 17s
charon
Fit to window
Zoom out
Zoom in

Annotations

1 warning
charon
Failed to restore: Cache service responded with 429