RELEASE-CHECKS.md

Release Checks

Things to be checked, or done before a release is made.

Final Checks

• Do the tests run to completion?
• Can samples build?
• Is man/idris.1 up-to-date?

Version Numbers

• man/idris.1.
• docs/conf.py.
• docs/listing/idris-prompt-helloworld.txt.
• docs/listing/idris-prompt-interp.txt.
• docs/listing/idris-prompt-start.txt.
• idris.cabal.

Tag Release

• Finalise and check CHANGELOG.md.
• Tag the release.

Uploads

• Push to GITHUB.
• Upload to Hackage.

Binaries

• Generate Mac OS X Package.
• Prompt helpers to create:
  • Windows Binary.
  • HomeBrew Package.

Announcements

• Update website.
• Email Mailing list.
• Make REDDIT post.
• Tweet