Skip to content

Remove unnecessary call to apt-get#4

Merged
atodorov merged 1 commit into
mainfrom
circles_ci
Jun 7, 2026
Merged

Remove unnecessary call to apt-get#4
atodorov merged 1 commit into
mainfrom
circles_ci

Conversation

@atodorov

@atodorov atodorov commented Jun 7, 2026

Copy link
Copy Markdown
Member

b/c make is already installed

b/c make is already installed
@atodorov atodorov merged commit 53b4418 into main Jun 7, 2026
4 checks passed
@atodorov atodorov deleted the circles_ci branch June 7, 2026 09:38
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.

1 participant