Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More CI #3

Merged
merged 1 commit into from Jan 9, 2020
Merged

More CI #3

merged 1 commit into from Jan 9, 2020

Conversation

@CAD97
Copy link
Owner

CAD97 commented Dec 19, 2019

No description provided.

@CAD97 CAD97 force-pushed the more-ci branch 3 times, most recently from be0cc2b to 40b3394 Dec 19, 2019
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Dec 19, 2019

bors: r+

@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Dec 19, 2019

bors: ping

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 19, 2019

pong

bors bot added a commit that referenced this pull request Dec 19, 2019
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 19, 2019

Timed out

@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Dec 20, 2019

bors: r+

I'm not sure what the timeout issue was

bors bot added a commit that referenced this pull request Dec 20, 2019
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Dec 20, 2019

OK, I must have bors listening for the wrong things....

bors: r-

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 20, 2019

Canceled

@CAD97 CAD97 force-pushed the more-ci branch from 40b3394 to b2d246c Jan 9, 2020
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

Alright, try again

bors: r+

bors bot added a commit that referenced this pull request Jan 9, 2020
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@CAD97 CAD97 force-pushed the more-ci branch from b2d246c to 05192e8 Jan 9, 2020
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 9, 2020

Canceled

@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

I didn't even push my changes the first time

bors: r-
bors: r+

bors bot added a commit that referenced this pull request Jan 9, 2020
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

bors: r-

staging has finished CI but bors doesn't budge

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 9, 2020

Canceled

@CAD97 CAD97 force-pushed the more-ci branch from 05192e8 to 1882495 Jan 9, 2020
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

Let's try this one...

bors: r+

bors bot added a commit that referenced this pull request Jan 9, 2020
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

OK, so this doesn't work either.

bors: r-

So far, I've tried "CI" (the name of the workflow), "CI / Tests"(the name of the job), and"CI / Tests (push)"` (the name of the event?). None of them have successfully been picked up by bors.

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 9, 2020

Canceled

@CAD97 CAD97 force-pushed the more-ci branch from 1882495 to 2823a6e Jan 9, 2020
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

I'm just trying different strings at this point

bors: r+

bors bot added a commit that referenced this pull request Jan 9, 2020
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

bors: r-

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 9, 2020

Canceled

@CAD97 CAD97 force-pushed the more-ci branch from 2823a6e to 31040d7 Jan 9, 2020
@CAD97

This comment has been minimized.

Copy link
Owner Author

CAD97 commented Jan 9, 2020

bors: r+

bors bot added a commit that referenced this pull request Jan 9, 2020
Merge #3
3: More CI r=CAD97 a=CAD97



Co-authored-by: CAD97 <cad97@cad97.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 9, 2020

Build succeeded

  • Tests
@bors bors bot merged commit 31040d7 into master Jan 9, 2020
4 checks passed
4 checks passed
Tests
Details
Rustfmt
Details
Clippy
Details
bors Build succeeded
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.