Skip to content

Conversation

@Hoverbear
Copy link
Member

@Hoverbear Hoverbear commented Apr 15, 2025

Fix some issues from #113 (Couldn't test it until we merged that time)

Successful run: https://github.com/ferrocene/criticalup/actions/runs/14477938391

@Hoverbear Hoverbear self-assigned this Apr 15, 2025
@Hoverbear Hoverbear marked this pull request as ready for review April 15, 2025 19:38
@Hoverbear Hoverbear requested a review from amanjeev April 15, 2025 19:38
Copy link
Contributor

@amanjeev amanjeev left a comment

Choose a reason for hiding this comment

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

bors merge

bors-ferrocene bot added a commit that referenced this pull request Apr 16, 2025
114: Fixup deploy docs r=amanjeev a=Hoverbear

Fix some issues from #113 (Couldn't test it until we merged that time)

Successful run: https://github.com/ferrocene/criticalup/actions/runs/14477938391

Co-authored-by: Ana Hobden <operator@hoverbear.org>
@bors-ferrocene
Copy link
Contributor

Build failed:

@Hoverbear
Copy link
Member Author

bors retry

bors-ferrocene bot added a commit that referenced this pull request Apr 17, 2025
114: Fixup deploy docs r=amanjeev a=Hoverbear

Fix some issues from #113 (Couldn't test it until we merged that time)

Successful run: https://github.com/ferrocene/criticalup/actions/runs/14477938391

Co-authored-by: Ana Hobden <operator@hoverbear.org>
@Hoverbear
Copy link
Member Author

bors merge

@bors-ferrocene
Copy link
Contributor

bors-ferrocene bot commented Jun 3, 2025

Build succeeded:

@bors-ferrocene bors-ferrocene bot merged commit b50e707 into main Jun 3, 2025
14 checks passed
@bors-ferrocene bors-ferrocene bot deleted the hoverbear/deploy-docs-fixups branch June 3, 2025 19:54
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.

4 participants