You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
copying path '/nix/store/bfcwp6rbnnxizq6shnnqdn3q4rl2m4rr-Init.Conv' to 'http://127.0.0.1:37515/'...
copying path '/nix/store/bfhd9y1q3hpi0jfx0mlgw4fxyxv3vvdz-Lean.Elab.Tactic.Conv.Pattern-ilean' to 'http://127.0.0.1:37515/'...
copying path '/nix/store/bfkxwyrinah65x9gvwn8sfqfkjmiarnl-Lean.Meta.Tactic.UnifyEq-c' to 'http://127.0.0.1:37515/'...
copying path '/nix/store/bfqqp8n1bj19bjybpffhivi3ymggwglr-ConfigOptions.lean' to 'http://127.0.0.1:37515/'...
error (ignored): error: while uploading to HTTP binary cache at 'http://127.0.0.1:37515/': error: unable to upload 'http://127.0.0.1:37515/nar/09gmanhjh8y6d6vm7nz7cszczp798cs1xgsyip93v8wmcll38x6r.nar.zst': HTTP error 418
response body:
GitHub API error: API error (429 Too Many Requests): StructuredApiError { message: "Request was blocked due to exceeding usage of resource 'Count' in namespace ''." }
error: while uploading to HTTP binary cache at 'http://127.0.0.1:37515/': error: unable to upload 'http://127.0.0.1:37515/bfcwp6rbnnxizq6shnnqdn3q4rl2m4rr.narinfo': HTTP error 418
response body:
GitHub API error: API error (429 Too Many Requests): StructuredApiError { message: "Request was blocked due to exceeding usage of resource 'Count' in namespace ''." }
2023-12-08T16:35:00.829259Z ERROR magic_nix_cache::util: Failed to upload batch: ExitStatus(unix_wait_status(256))
at magic-nix-cache/src/util.rs:79
Retrying after error ERR_NON_2XX_3XX_RESPONSE, retry #: 1
2023-12-08T16:35:01.938691Z INFO magic_nix_cache::api: Workflow finished
at magic-nix-cache/src/api.rs:50
2023-12-08T16:35:01.950952Z INFO magic_nix_cache::api: Pushing 3445 new paths
at magic-nix-cache/src/api.rs:59
copying 2293 paths...
which is maybe more helpful?
The text was updated successfully, but these errors were encountered:
nomeata
added a commit
to leanprover/lean4
that referenced
this issue
Dec 8, 2023
I see the upload error as well, in "Post Run ... magic-nix-cache-action":
GitHub API error: API error (429 Too Many Requests):
StructuredApiError { message: "Request was blocked due to exceeding usage of resource 'Count' in namespace ''." }
I am experimenting with the magic-nix-cache action, as its promises are, well, very promising.
But I didn't see a any cache successes the second run, so I checked the logs of the first run (which was green), and saw something like this:
Maybe these are too many small out paths?
Full log
A subsequent run has
which is maybe more helpful?
The text was updated successfully, but these errors were encountered: