Skip to content

Conversation

@ebiggers
Copy link
Collaborator

@ebiggers ebiggers commented Feb 3, 2021

In GitHub Workflows, apparently running 'apt-get update' before 'apt-get
install' is sometimes needed, and it doesn't hurt to always do it.

In GitHub Workflows, apparently running 'apt-get update' before 'apt-get
install' is sometimes needed, and it doesn't hurt to always do it.
@josephlr josephlr merged commit 7fa623a into google:master Feb 3, 2021
@ebiggers ebiggers deleted the apt-get-update branch February 3, 2021 17:19
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