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

Fix build #60

Merged
merged 2 commits into from
Oct 25, 2023
Merged

Fix build #60

merged 2 commits into from
Oct 25, 2023

Conversation

abizjak
Copy link
Contributor

@abizjak abizjak commented Oct 25, 2023

Purpose

Fix docker build. md files should not be ignored.

Changes

Fix docker build, remove needless steps.

Checklist

  • My code follows the style of this project.
  • The code compiles without warnings.
  • I have performed a self-review of the changes.
  • I have documented my code, in particular the intent of the
    hard-to-understand areas.
  • (If necessary) I have updated the CHANGELOG.

@abizjak abizjak merged commit cbff94e into main Oct 25, 2023
2 checks passed
@abizjak abizjak deleted the fix-build branch October 25, 2023 07:59
@bisgardo
Copy link
Contributor

@abizjak why shouldn't .md files be ignored?

@abizjak
Copy link
Contributor Author

abizjak commented Oct 26, 2023

No, because some of them are needed for the build of some rust crates.

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.

3 participants