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

[#34] Fix apt-get in github workflows #35

Merged
merged 1 commit into from
Nov 10, 2023
Merged

[#34] Fix apt-get in github workflows #35

merged 1 commit into from
Nov 10, 2023

Conversation

tlbueno
Copy link
Member

@tlbueno tlbueno commented Nov 10, 2023

apt-get install may fail if it is used directly without update the mirror list with apt-get update

closes #34

apt-get install may fail if it is used directly without
update the mirror list with apt-get update

Signed-off-by: Tiago Bueno <[email protected]>
@tlbueno tlbueno requested a review from brusdev November 10, 2023 13:59
@brusdev brusdev merged commit 2ba9c63 into artemiscloud:main Nov 10, 2023
2 checks passed
@brusdev
Copy link
Contributor

brusdev commented Nov 10, 2023

@tlbueno thanks for fixing the CI. It is very execute automated checks before merging a PR, it save time and improve the quality.

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.

apt-get install is failing on github action workflow
2 participants