Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added GITHUB_TOKEN explicitly to risczero install #780

Merged
merged 1 commit into from
Aug 10, 2023
Merged

Conversation

mothran
Copy link
Contributor

@mothran mothran commented Aug 10, 2023

Attempt to fix 403 errors in the CI by manually setting the GITHUB_TOKEN during the risczero install command:

Reference error in CI: https://github.com/risc0/risc0/actions/runs/5826106139/job/15799276430?pr=759#step:6:951

Hopefully fixes the 403 errors in CI
@SchmErik SchmErik enabled auto-merge (squash) August 10, 2023 21:40
@github-actions
Copy link

Benchmark for Linux-cuda

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

Benchmark for Linux-default

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

Benchmark for macOS-default b704531

Click to hide benchmark
Test Base PR %
fib/100/execute 2.8±0.13ms 2.7±0.13ms -3.57%
fib/100/prove 3.7±0.08s 3.6±0.07s -2.70%
fib/100/total 3.7±0.05s 3.7±0.07s 0.00%
fib/1000/execute 3.0±0.07ms 2.9±0.14ms -3.33%
fib/1000/prove 3.7±0.06s 3.7±0.07s 0.00%
fib/1000/total 3.7±0.06s 3.7±0.05s 0.00%
fib/10000/execute 5.2±0.06ms 5.0±0.11ms -3.85%
fib/10000/prove 15.3±0.10s 15.2±0.11s -0.65%
fib/10000/total 15.3±0.11s 15.3±0.10s 0.00%

Benchmark for macOS-metal

    <details open>
      <summary>Click to hide benchmark</summary>
      Benchmarks have changed between the two branches, unable to diff.
    </details>

@SchmErik SchmErik merged commit 31afd3d into main Aug 10, 2023
19 checks passed
@SchmErik SchmErik deleted the parker/gh-token branch August 10, 2023 22:19
@flaub
Copy link
Member

flaub commented Aug 11, 2023

Nice, thanks for this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants