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.

Sign up for GitHub

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

Jump to bottom

WEB3-65: Rerun build when RISC0_USE_DOCKER changes #134

Merged

nategraf merged 1 commit into main from victor/rerun-if-docker

Sep 10, 2024

Contributor

nategraf commented Sep 6, 2024 •

edited

Loading

Rerun build when RISC0_USE_DOCKER changes


          add cargo:rerun-if-env-changed=RISC0_USE_DOCKER

551cb27

github-actions bot changed the title ~~Rerun build when RISC0_USE_DOCKER changes~~ WEB3-65: Rerun build when RISC0_USE_DOCKER changes

linear bot commented Sep 6, 2024

WEB3-65 replaced old installation instructions with rzup

nategraf enabled auto-merge (squash)

September 6, 2024 19:25

capossele approved these changes

View reviewed changes

nategraf merged commit e296def into main

6 checks passed

nategraf deleted the victor/rerun-if-docker branch

September 10, 2024 17:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet