git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3093 from jfdm/add-release-checklist
055a1cfJan de Muijnck-Hughes
RELEASE-CHECKS.mdnew file+42
compare with master
unifiedsplit
@@ -0,0 +1,42 @@
1+# Release Checks
2+
3+Things to be checked, or done before a release is made.
4+
5+## Final Checks
6+
7++ [ ] Do the tests run to completion?
8++ [ ] Can samples build?
9++ [ ] Is `man/idris.1` up-to-date?
10+
11+## Version Numbers
12+
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`.
19+
20+## Tag Release
21+
22++ [ ] Finalise and check `CHANGELOG.md`.
23++ [ ] Tag the release.
24+
25+## Uploads
26+
27++ [ ] Push to GITHUB.
28++ [ ] Upload to Hackage.
29+
30+## Binaries
31+
32++ [ ] Generate Mac OS X Package.
33++ [ ] Prompt helpers to create:
34+ + [ ] Windows Binary.
35+ + [ ] HomeBrew Package.
36+
37+## Announcements
38+
39++ [ ] Update website.
40++ [ ] Email Mailing list.
41++ [ ] Make REDDIT post.
42++ [ ] Tweet
idris.cabal+1
@@ -80,6 +80,7 @@ Extra-doc-files:
80 CONTRIBUTING.md
80 CONTRIBUTING.md
81 CONTRIBUTORS
81 CONTRIBUTORS
82 README.md
82 README.md
83+ RELEASE-CHECKS.md
83 idris-tutorial.pdf
84 idris-tutorial.pdf
84 samples/effects/*.idr
85 samples/effects/*.idr
85 samples/misc/*.idr
86 samples/misc/*.idr