Skip to content

Conversation

JohnTitor
Copy link
Member

This would help migration to GHA on rustc-dev-guide.
r? @pietroalbini

@pietroalbini
Copy link
Member

Thanks for the PR!

I don't think this action should actually be used: being based on Docker it's actually pretty slow :(

@JohnTitor
Copy link
Member Author

So, we should just deploy files manually or is there any other way? I thought we could use this action for rust-lang/rustc-dev-guide#940.

@JohnTitor
Copy link
Member Author

Opened rust-lang/rustc-dev-guide#1073, this PR will be no longer required when it merges. Thanks for taking a look!

@JohnTitor JohnTitor closed this Mar 2, 2021
@JohnTitor JohnTitor deleted the gha-gh-pages-custom-domain branch March 2, 2021 16:46
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.

2 participants