Skip to content

disable running of 'sudo apt-get update' in GitHub CI config, since it's failing (and we don't really need it)#1882

Merged
akesandgren merged 1 commit intoeasybuilders:developfrom
boegel:disable_apt_get_update
Dec 13, 2019
Merged

disable running of 'sudo apt-get update' in GitHub CI config, since it's failing (and we don't really need it)#1882
akesandgren merged 1 commit intoeasybuilders:developfrom
boegel:disable_apt_get_update

Conversation

@boegel
Copy link
Copy Markdown
Member

@boegel boegel commented Dec 13, 2019

Copy link
Copy Markdown
Contributor

@akesandgren akesandgren left a comment

Choose a reason for hiding this comment

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

LGTM

@akesandgren
Copy link
Copy Markdown
Contributor

Going in, thanks @boegel!

@akesandgren akesandgren merged commit 92288cb into easybuilders:develop Dec 13, 2019
@boegel boegel deleted the disable_apt_get_update branch December 13, 2019 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants