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

Fix github pages deployment #616

Merged
merged 5 commits into from
Sep 10, 2024
Merged

Fix github pages deployment #616

merged 5 commits into from
Sep 10, 2024

Conversation

Nashtare
Copy link
Collaborator

@Nashtare Nashtare commented Sep 10, 2024

Adds a caching step to retrieve on the deployment phase, as the logs seem to indicate the data is missing:

  [INFO] copy /home/runner/work/zk_evm/zk_evm/book/book to /home/runner/actions_github_pages_1725975623120
  cp: no such file or directory: /home/runner/work/zk_evm/zk_evm/book/book/*
  cp: no such file or directory: /home/runner/work/zk_evm/zk_evm/book/book/.*

Tweaked deployment rule for testing temporarily

@Nashtare
Copy link
Collaborator Author

Ok caching seems to work fine with path specified, see https://0xpolygonzero.github.io/zk_evm/.

@Nashtare Nashtare changed the title Try fixing github pages deployment Fix github pages deployment Sep 10, 2024
@Nashtare Nashtare merged commit bfdc6c3 into develop Sep 10, 2024
17 checks passed
@Nashtare Nashtare deleted the fix/deploy branch September 10, 2024 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants