git.iko.soy/Idris-dev
on master help sign in
Idris-dev/RELEASE-CHECKS.md
44 lines 887 B history raw
1# Release Checks
3Things to be checked, or done before a release is made.
5## Final Checks
7+ [ ] Do the tests run to completion?
8+ [ ] Can samples build?
9+ [ ] Is `man/idris.1` up-to-date?
11## Version Numbers
13+ [ ] `man/idris.1`.
14+ [ ] `docs/conf.py`.
15+ [ ] `docs/listing/idris-prompt-helloworld.txt`.
16+ [ ] `docs/listing/idris-prompt-interp.txt`.
17+ [ ] `docs/listing/idris-prompt-start.txt`.
18+ [ ] `idris.cabal`.
20## Tag Release
22+ [ ] Finalise and check `CHANGELOG.md`.
23+ [ ] Tag the release.
25## Uploads
27+ [ ] Push to GITHUB.
28+ [ ] Upload to Hackage.
29+ [ ] Upload package documentation to web site
31## Binaries
33+ [ ] Generate Mac OS X Package.
34+ [ ] Prompt helpers to create:
35 + [ ] Windows Binary.
36 + [ ] HomeBrew Package.
38## Announcements
40+ [ ] Update website.
41 + [ ] Update web site with SHA256 hash of binary
42+ [ ] Email Mailing list.
43+ [ ] Make REDDIT post.
44+ [ ] Tweet