Skip to content

[Merged by Bors] - nightly test suite#291

Closed
razvan wants to merge 1 commit intomainfrom
feat/nightly-suite
Closed

[Merged by Bors] - nightly test suite#291
razvan wants to merge 1 commit intomainfrom
feat/nightly-suite

Conversation

@razvan
Copy link
Copy Markdown
Member

@razvan razvan commented Jul 3, 2023

@razvan razvan requested a review from a team July 3, 2023 12:43
Copy link
Copy Markdown
Member

@lfrancke lfrancke left a comment

Choose a reason for hiding this comment

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

I guess so but: Is this intentionally empty?

@razvan
Copy link
Copy Markdown
Member Author

razvan commented Jul 5, 2023

empty means: run all tests. in this case there is only one test without any dimensions :)

@lfrancke
Copy link
Copy Markdown
Member

lfrancke commented Jul 5, 2023

bors merge

bors bot pushed a commit that referenced this pull request Jul 5, 2023
@bors
Copy link
Copy Markdown
Contributor

bors bot commented Jul 5, 2023

Pull request successfully merged into main.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title nightly test suite [Merged by Bors] - nightly test suite Jul 5, 2023
@bors bors bot closed this Jul 5, 2023
@bors bors bot deleted the feat/nightly-suite branch July 5, 2023 06: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.

2 participants