Skip to content

[Merged by Bors] - chore: update bones.#630

Closed
zicklag wants to merge 1 commit intofishfolk:mainfrom
zicklag:chore/update-bones
Closed

[Merged by Bors] - chore: update bones.#630
zicklag wants to merge 1 commit intofishfolk:mainfrom
zicklag:chore/update-bones

Conversation

@zicklag
Copy link
Member

@zicklag zicklag commented Feb 17, 2023

No description provided.

@zicklag
Copy link
Member Author

zicklag commented Feb 17, 2023

bors merge

bors bot pushed a commit that referenced this pull request Feb 17, 2023
@bors
Copy link
Contributor

bors bot commented Feb 17, 2023

@zicklag
Copy link
Member Author

zicklag commented Feb 17, 2023

bors retry

bors bot pushed a commit that referenced this pull request Feb 17, 2023
@bors
Copy link
Contributor

bors bot commented Feb 17, 2023

Build failed:

  • 🔧 Clippy correctness checks (wasm32-unknown-unknown, web-target)

@zicklag
Copy link
Member Author

zicklag commented Feb 17, 2023

bors merge

bors bot pushed a commit that referenced this pull request Feb 17, 2023
@bors
Copy link
Contributor

bors bot commented Feb 17, 2023

@bors bors bot changed the title chore: update bones. [Merged by Bors] - chore: update bones. Feb 17, 2023
@bors bors bot closed this Feb 17, 2023
@zicklag zicklag deleted the chore/update-bones branch February 17, 2023 00:55
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.

1 participant