Skip to content

Conversation

@lucarin91
Copy link
Contributor

@lucarin91 lucarin91 commented Oct 15, 2025

  1. Add ci checks and tests
  2. Add release workflow
  3. Add licenses and notice
  4. add common config files
  5. add pr template

@lucarin91 lucarin91 requested review from a team and dido18 October 15, 2025 08:15
lucarin91 and others added 10 commits October 15, 2025 11:16
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Davide <davideneri18@gmail.com>
@lucarin91 lucarin91 requested a review from per1234 October 15, 2025 13:12
Co-authored-by: Davide <davideneri18@gmail.com>
Co-authored-by: Per Tillisch <accounts@perglass.com>
@dido18 dido18 requested a review from per1234 October 17, 2025 10:22
@lucarin91
Copy link
Contributor Author

@dido18 I think you can remove all the licenses in update, they aren't used

@lucarin91 lucarin91 changed the title add ci and scripts chore: add ci, scripts, and config files Oct 17, 2025
@lucarin91 lucarin91 dismissed per1234’s stale review October 21, 2025 09:18

We implemented the required changes

@lucarin91 lucarin91 merged commit 7d0259a into main Oct 21, 2025
6 checks passed
@lucarin91 lucarin91 deleted the add-ci-stuff branch October 21, 2025 09:23
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