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

Hotfix: Fix CI #154

Merged
merged 1 commit into from
Feb 12, 2022
Merged

Hotfix: Fix CI #154

merged 1 commit into from
Feb 12, 2022

Conversation

aleokdev
Copy link
Contributor

@aleokdev aleokdev commented Feb 11, 2022

Tries to fix CI (Runs apt-get update before installing deps)

@aleokdev aleokdev added the bug label Feb 11, 2022
@aleokdev aleokdev changed the title Fix CI Hotfix: Fix CI Feb 12, 2022
@aleokdev aleokdev requested a review from bjorn February 12, 2022 10:15
@aleokdev aleokdev merged commit dfceb8f into mapeditor:master Feb 12, 2022
@aleokdev aleokdev deleted the fix-ci branch February 12, 2022 12:20
@aleokdev aleokdev added this to the 0.10.0 milestone Mar 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants