Skip to content

Improve packaging#5

Merged
ncanceill merged 7 commits intomainfrom
dev/packaging
Dec 18, 2023
Merged

Improve packaging#5
ncanceill merged 7 commits intomainfrom
dev/packaging

Conversation

@ncanceill
Copy link
Copy Markdown
Owner

@ncanceill ncanceill commented Dec 17, 2023

  • Makefile:
    • use dedicated build environment
    • do not require format for package target
  • workflows:
    • format code before packaging
    • rename quality job
    • use consistent quoting style
  • gitignore: remove .vscode/
  • metadata: use short license name

@ncanceill ncanceill merged commit d425037 into main Dec 18, 2023
@ncanceill ncanceill deleted the dev/packaging branch December 18, 2023 18:34
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