Skip to content

[Merged by Bors] - chore: add a CI step that validates the cache#7099

Closed
kim-em wants to merge 2 commits intomasterfrom
check_cache_in_CI
Closed

[Merged by Bors] - chore: add a CI step that validates the cache#7099
kim-em wants to merge 2 commits intomasterfrom
check_cache_in_CI

Conversation

@kim-em
Copy link
Copy Markdown
Contributor

@kim-em kim-em commented Sep 11, 2023


Open in Gitpod

@kim-em kim-em added WIP Work in progress awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. labels Sep 11, 2023
@kim-em kim-em changed the title chore: add a CI step the validates the cache chore: add a CI step that validates the cache Sep 11, 2023
@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Sep 11, 2023

I've merged this into #7070 to see if it can detect the bad cache there.

@github-actions github-actions bot removed the awaiting-CI This PR does not pass CI yet. This label is automatically removed once it does. label Sep 11, 2023
@kim-em kim-em added awaiting-review CI Modifies the continuous integration setup or other automation and removed WIP Work in progress labels Sep 12, 2023
Copy link
Copy Markdown
Member

@jcommelin jcommelin left a comment

Choose a reason for hiding this comment

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

Thanks 🎉

bors merge

@ghost ghost added ready-to-merge This PR has been sent to bors. and removed awaiting-review labels Sep 12, 2023
bors bot pushed a commit that referenced this pull request Sep 12, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Sep 12, 2023

Build failed (retrying...):

bors bot pushed a commit that referenced this pull request Sep 12, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Sep 12, 2023

Build failed (retrying...):

bors bot pushed a commit that referenced this pull request Sep 12, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Sep 12, 2023

Build failed (retrying...):

bors bot pushed a commit that referenced this pull request Sep 12, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Sep 12, 2023

Build failed (retrying...):

@jcommelin
Copy link
Copy Markdown
Member

bors r-

@bors
Copy link
Copy Markdown

bors bot commented Sep 12, 2023

Canceled.

@ADedecker ADedecker removed the ready-to-merge This PR has been sent to bors. label Sep 12, 2023
@kim-em kim-em added the delegated This pull request has been delegated to the PR author (or occasionally another non-maintainer). label Sep 14, 2023
@kim-em
Copy link
Copy Markdown
Contributor Author

kim-em commented Sep 14, 2023

bors merge

@github-actions github-actions bot added the ready-to-merge This PR has been sent to bors. label Sep 14, 2023
bors bot pushed a commit that referenced this pull request Sep 14, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Sep 14, 2023

Pull request successfully merged into master.

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 chore: add a CI step that validates the cache [Merged by Bors] - chore: add a CI step that validates the cache Sep 14, 2023
@bors bors bot closed this Sep 14, 2023
@bors bors bot deleted the check_cache_in_CI branch September 14, 2023 13:42
kodyvajjha pushed a commit that referenced this pull request Sep 22, 2023
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Modifies the continuous integration setup or other automation delegated This pull request has been delegated to the PR author (or occasionally another non-maintainer). ready-to-merge This PR has been sent to bors.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants