GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

CI: Avoid GitHub rate limiting when using Nix flakes

Browse Source 
This is to avoid rate limiting errors like the ones seen
[here](https://github.com/GaloisInc/what4/actions/runs/3685073307/jobs/6235597434#step:12:26):

```
error: unable to download 'https://api.github.com/repos/GaloisInc/flakes/commits/HEAD': HTTP error 403

       response body:

       {"message":"API rate limit exceeded for 40.86.18.81. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting"}
(use '--show-trace' to show detailed location information)
```
This commit is contained in:
Ryan Scott 2022-12-13 07:23:50 -05:00
parent 95e2cdbe8b
commit 2420a946b5
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/test.yml vendored
View File

@ -41,6 +41,8 @@ jobs:
with:
nix_path: nixpkgs=channel:nixos-21.11
install_url: https://releases.nixos.org/nix/nix-2.11.0/install
extra_nix_config: |
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
- uses: cachix/cachix-action@v10
with:
@ -70,6 +72,8 @@ jobs:
with:
nix_path: nixpkgs=channel:nixos-21.11
install_url: https://releases.nixos.org/nix/nix-2.11.0/install
extra_nix_config: |
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
- uses: cachix/cachix-action@v10
with: