Literature overview for Introduction to Homotopy Type Theory #9147
VojtechStepci.yaml
on: pull_request
Matrix: typecheck
pre-commit
47s
link-check
1m 3s
Annotations
4 warnings
|
typecheck (macOS-13, 2.7.0)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
typecheck (macOS-13, 2.7.0)
Cache save failed.
|
|
typecheck (ubuntu-latest, 2.7.0)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
typecheck (ubuntu-latest, 2.7.0)
Cache save failed.
|