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

ci: Removing provider from env var #748

Merged
merged 1 commit into from
Nov 8, 2023
Merged

ci: Removing provider from env var #748

merged 1 commit into from
Nov 8, 2023

Conversation

mshriver
Copy link
Member

@mshriver mshriver commented Nov 7, 2023

rebased @mayurilahane commit from #747 .

Meant to push to the pull ref on the remote but it created a branch, so I'm rolling with it.

@mshriver mshriver enabled auto-merge (rebase) November 7, 2023 21:45
@akhil-jha
Copy link
Member

/retest

Copy link
Member

@akhil-jha akhil-jha left a comment

Choose a reason for hiding this comment

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

Unrelated error in pr_check. Will investigate the failure.

@mshriver mshriver merged commit bf7ea8d into main Nov 8, 2023
6 checks passed
@lzap lzap deleted the pull/747/head branch November 8, 2023 07:09
@ezr-ondrej
Copy link
Member

Unrelated error in pr_check. Will investigate the failure.

⚠️ bad joke incoming

It's pretty clear to me what happened from logs, the bot just got lazy to finish the tests, I bet it was night for it, so it just did half the tests and fell asleep in the process xD

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