Skip to content

CONTRIBUTING.md

Latest commit

 

History

History
18 lines (12 loc) · 819 Bytes

CONTRIBUTING.md

File metadata and controls

18 lines (12 loc) · 819 Bytes

Contributing

Thank you for your interest in contributing!

License

By submitting a pull request or otherwise contributing to this repository, you agree that your contributions are licensed under both the Apache 2.0 and MIT licenses, the same as the Osiris project itself.

Please ensure all commits comply with these licensing terms and include proper attribution where applicable.

How to contribute

  1. Fork or create a feature branch (e.g., feature/, fix/, test/) based on the main branch.
  2. Make your changes with clear, descriptive commit messages.
  3. Write tests and proofs for your changes.
  4. Ensure that all tests and all proofs pass.
  5. Run the formatter.
  6. Open a merge request with a clear description of your changes. (reference the issue that gets resolved by the PR, if any.)