Update CONTRIBUTING.md - Githubissues

pacti-org / pacti

A package for compositional system analysis and design

https://www.pacti.org

BSD 3-Clause "New" or "Revised" License

19 stars 5 forks source link

Update CONTRIBUTING.md #292

Closed ayush9pandey closed 1 year ago

ayush9pandey commented 1 year ago

Add CI/CD instructions. @iincer please feel free to commit to the branch to modify CONTRIBUTIONS.md if you want to add more instructions for the developers.