Skip to content

Add bors#7

Merged
bors[bot] merged 6 commits intomainfrom
add-bors
May 31, 2022
Merged

Add bors#7
bors[bot] merged 6 commits intomainfrom
add-bors

Conversation

@passcod
Copy link
Member

@passcod passcod commented May 30, 2022

No description provided.

@passcod
Copy link
Member Author

passcod commented May 30, 2022

bors r+

bors bot pushed a commit that referenced this pull request May 30, 2022
@bors
Copy link
Contributor

bors bot commented May 30, 2022

Build failed:

@passcod
Copy link
Member Author

passcod commented May 30, 2022

bors retry

bors bot pushed a commit that referenced this pull request May 30, 2022
@bors
Copy link
Contributor

bors bot commented May 30, 2022

Build failed:

@passcod
Copy link
Member Author

passcod commented May 31, 2022

bors retry

bors bot added a commit that referenced this pull request May 31, 2022
7: Add bors r=passcod a=passcod



Co-authored-by: Félix Saparelli <felix@passcod.name>
@bors
Copy link
Contributor

bors bot commented May 31, 2022

Build failed:

@passcod
Copy link
Member Author

passcod commented May 31, 2022

bors retry

bors bot added a commit that referenced this pull request May 31, 2022
7: Add bors r=passcod a=passcod



Co-authored-by: Félix Saparelli <felix@passcod.name>
@bors
Copy link
Contributor

bors bot commented May 31, 2022

Build failed:

@passcod
Copy link
Member Author

passcod commented May 31, 2022

bors retry

@bors bors bot merged commit 9424adf into main May 31, 2022
@bors bors bot deleted the add-bors branch May 31, 2022 14:34
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