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.

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

Fix GitHub Pages deployment #3363

Closed
JohnTitor opened this issue Sep 25, 2023 · 1 comment · Fixed by #3378
Closed

Fix GitHub Pages deployment #3363

JohnTitor opened this issue Sep 25, 2023 · 1 comment · Fixed by #3378
Labels
C-bug Category: bug

Comments

@JohnTitor
Copy link
Member

JohnTitor commented Sep 25, 2023 •
edited
Loading

Currently GH Pages deployment fails:

 Warning: Uploaded artifact size of 2294743040 bytes exceeds the allowed size of 1 GB. Deployment might fail.

I guess the cause is we have too many targets, maybe reducing targets would be required (or, optimizing dox.sh?).
@JohnTitor JohnTitor added the C-bug Category: bug label Sep 25, 2023
@JohnTitor
Copy link
Member Author

Or, we could just stop using GitHub Pages in favor of docs.rs which now hosts the most (all?) supported targets.

@JohnTitor JohnTitor mentioned this issue Oct 9, 2023
Merged
bors added a commit that referenced this issue Oct 9, 2023
@bors
Auto merge of #3378 - JohnTitor:fix/rm-gh-pages, r=JohnTitor
8ceb47f 
Say goodbye to GH Pages in favor of docs.rs

Fixes #3363
@bors bors closed this as completed in b4b6a53 Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-bug Category: bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Say goodbye to GH Pages in favor of docs.rs JohnTitor/libc
1 participant
@JohnTitor