idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 04:09:10 +03:00
Code Issues Projects Releases Wiki Activity

[ admin ] Update checklist for v0.7.0-rc2

Browse Source
This commit is contained in:
Thomas E. Hansen 2023-12-22 14:43:18 +01:00 committed by CodingCellist
parent 84010c9a55
commit 27780073c8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Release/CHECKLIST
View File

@ -18,6 +18,6 @@
[x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as the [x] Change `IdrisPaths-yprefix` in the bootstrap sources to be defined as the
string "__PREFIX__" rather than your local prefix string "__PREFIX__" rather than your local prefix
[x] Remove __collect_safe from generated chez (to avoid need for chez >9.5) [x] Remove __collect_safe from generated chez (to avoid need for chez >9.5)
[ ] Tag on github with version number (in the form vX.Y.Z) [x] Tag on github with version number (in the form vX.Y.Z)
[ ] Make libdocs and upload to idris-lang.org [ ] Make libdocs and upload to idris-lang.org
[ ] Run release script [ ] Run release script