Navigation Menu

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] Run apt update before apt install #163

Merged
merged 1 commit into from Mar 15, 2022
Merged

Conversation

lidavidm
Copy link
Member

This is recommended by the GitHub documentation because the apt package lists may be out-of-date in the runners, leading to spurious errors.

@lidavidm lidavidm added the ci This issue relates to the continuous integration (build) system label Mar 15, 2022
@lidavidm lidavidm requested a review from amol- March 15, 2022 16:57
Copy link
Contributor

@amol- amol- left a comment

Choose a reason for hiding this comment

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

LGTM

@amol- amol- merged commit 3ebd1e0 into apache:main Mar 15, 2022
@lidavidm lidavidm deleted the issue-162 branch March 15, 2022 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci This issue relates to the continuous integration (build) system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants