Skip to content

Latest commit

 

History

History
44 lines (31 loc) · 887 Bytes

RELEASE-CHECKS.md

File metadata and controls

44 lines (31 loc) · 887 Bytes
Raw

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