Skip to content

Conversation

@lucacome
Copy link
Contributor

Couple of small changes while preparing for release:

  • added local target to build faster
  • added centos8 package

@lucacome lucacome self-assigned this Feb 19, 2021
@github-actions github-actions bot added the chore Pull requests for routine tasks label Feb 19, 2021
@lucacome lucacome force-pushed the chore/update-makefile-dockerfile branch from d9bc977 to e036fa0 Compare February 19, 2021 17:59
@lucacome lucacome force-pushed the chore/update-makefile-dockerfile branch 2 times, most recently from c959fb1 to 8cee427 Compare February 19, 2021 20:00
@lucacome lucacome requested a review from pleshakov February 19, 2021 20:04
@lucacome lucacome force-pushed the chore/update-makefile-dockerfile branch from 8cee427 to ff999f9 Compare February 19, 2021 20:08
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Feb 19, 2021
@lucacome lucacome merged commit 056c062 into master Feb 22, 2021
@lucacome lucacome deleted the chore/update-makefile-dockerfile branch February 22, 2021 19:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks documentation Pull requests/issues for documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants