Skip to content

Swap to GHA#29

Merged
bors[bot] merged 1 commit into
masterfrom
gha
Jul 20, 2021
Merged

Swap to GHA#29
bors[bot] merged 1 commit into
masterfrom
gha

Conversation

@adamgreig

Copy link
Copy Markdown
Member

Same setup as book and discovery so should be OK but as usual a bit hard to test. Hopefully CI passes on this commit, then we'll see if it pushed the website correctly after merge.

@adamgreig adamgreig requested a review from a team as a code owner July 20, 2021 18:59
@rust-highfive

Copy link
Copy Markdown

r? @jamesmunns

(rust-highfive has picked a reviewer for you, use r? to override)

@adamgreig

Copy link
Copy Markdown
Member Author

Seems OK so far.

@eldruin eldruin left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great, thank you!
bors r+

@bors

bors Bot commented Jul 20, 2021

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors bors Bot merged commit 030ea6a into master Jul 20, 2021
@bors bors Bot deleted the gha branch July 20, 2021 19:16
bors Bot added a commit that referenced this pull request Jul 20, 2021
30: Set CNAME for gh-pages build r=eldruin a=adamgreig

Oops, #29 didn't quite nail it. The build seems OK (http://docs.rust-embedded.org/showcase/) but I forgot to set the CNAME.

Co-authored-by: Adam Greig <adam@adamgreig.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants