Gradual-Typing / Grift

A compiler for the gradually typed lambda calculus
MIT License
76 stars 11 forks source link

Revisiting our processes #74

Open deyaaeldeen opened 5 years ago

deyaaeldeen commented 5 years ago

In an untyped world where bugs are looming over, we better revisit our engineering processes. My thoughts are to enforce successful completion of our test suite as a requirement before merging, perhaps throw in our benchmarks too? looking for performance improvements/bugs, and perhaps add code coverage checker. I also think we should protect master, we can discuss if this is also required for admins. The end goal of this issue is to come up with new checklist of requirements on PRs.

akuhlens commented 5 years ago