Making a New Release

1. Follow the instructions at http://docs.webppl.org/en/master/development/npm.html to update Github and the npm package.

2. Visit https://github.com/probmods/webppl/releases, edit the new tag, adding any release notes. (This will mark the tag as the latest release on GitHub.)

3. Upload to CDN using grunt bundle and ./scripts/cdnUpload. This requires Amazon credentials in .aws/credentials.

4. Rename the file on AWS e.g. from webppl-v0.9.15-430b433d.js to webppl-v0.9.15.js. (Or rather, update the cdnUpload script to also create the file without hash.)

5. Update the <script src="http://cdn.webppl.org/webppl-v0.9.15.js"></script> link on the following two pages:

• https://github.com/probmods/webppl/blob/gh-pages/index.html
• https://github.com/forestdb/forestdb.org/blob/gh-pages/_layouts/default.html

6. Wait a bit and check that http://webppl.org and http://forestdb.org use the latest version and still work. For Forest, run some model that doesn’t specify its version, e.g. http://forestdb.org/models/adjectives-qud.html