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.

Sign up for GitHub

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

Jump to bottom

Update apt-get before installing pre-dependencies #729

Merged
merged 2 commits into from
Dec 17, 2020
Merged

Update apt-get before installing pre-dependencies #729

merged 2 commits into from
Dec 17, 2020

Conversation

SabineHaas
Copy link
Collaborator

@SabineHaas SabineHaas commented Dec 16, 2020 •
edited
Loading

Fix github actions pre-dependencies installation.

Changes proposed in this pull request:

  • Update apt-get before installing pre-dependencies in github actions workflow

Please mark above checkboxes as following:

  • Open
  • Done

❌ Check not applicable to this PR

For more information on how to contribute check the CONTRIBUTING.md.

smartie2076
smartie2076 approved these changes Dec 16, 2020
View reviewed changes
Copy link
Collaborator

@smartie2076 smartie2076 left a comment

Choose a reason for hiding this comment

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

One-line-solution :) Add to changelog?

@SabineHaas
Copy link
Collaborator Author

One-line-solution :) Add to changelog?

Right.. ;P

@SabineHaas SabineHaas merged commit 86b4fba into dev Dec 17, 2020
@SabineHaas SabineHaas deleted the fix/github_actions_apt_get branch December 17, 2020 07:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smartie2076 smartie2076 smartie2076 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@SabineHaas @smartie2076