Idris-dev/RELEASE-CHECKS.md
2017-04-01 09:13:25 +01:00

887 B

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.
  • Upload package documentation to web site

Binaries

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

Announcements

  • Update website.
    • Update web site with SHA256 hash of binary
  • Email Mailing list.
  • Make REDDIT post.
  • Tweet