| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-01-30 | Deprecate util/dev in favor of cargo alias | Philipp Hansch | -2/+2 | |
| If you've been using `./util/dev` before, this now becomes `cargo dev`. The key part of this change is found in `.cargo/config`. This means one less shell script and a bit more cross-platform support for contributors. | ||||
| 2019-11-30 | deploy: cd to out/ before adding files to git | Lzu Tao | -0/+1 | |
| 2019-11-29 | Fix master deployment | Philipp Hansch | -0/+1 | |
| It was failing because it could not find `.github/deploy_key.enc` in the current directory (`./out`). Switching to the previous directory should fix the deployment and the master build. | ||||
| 2019-10-22 | build: improve script and travis config | Lzu Tao | -30/+25 | |
| * fix a diff failure on windows See https://travis-ci.com/rust-lang/rust-clippy/jobs/245971932#L1625 for an example. * use cmp instead of diff > /dev/null * clone single branch instead of clone then checking out * do not decrypt key if have no diff change | ||||
| 2019-10-10 | PR template might not be stripped by contributors | Lzu Tao | -2/+3 | |
| 2019-08-08 | template: Update how to format source code with ./util/dev | Lzu Tao | -2/+4 | |
| 2019-04-16 | Update PULL_REQUEST_TEMPLATE | Oliver Scherer | -0/+4 | |
| 2019-04-16 | Add new lint checklist | Oliver Scherer | -0/+9 | |
| 2019-04-16 | Create PULL_REQUEST_TEMPLATE | Oliver Scherer | -0/+15 | |
| 2019-01-08 | Remove all copyright license headers | Philipp Hansch | -11/+0 | |
| Discussion previously happened in https://github.com/rust-lang/rust/pull/43498 | ||||
| 2018-10-06 | Add license header to other files | Manish Goregaokar | -0/+12 | |
| 2018-09-13 | Update ISSUE_TEMPLATE | Philipp Hansch | -1/+1 | |
| 2018-05-16 | Add exec bit, add set -ex to ci test files | Philipp Hansch | -2/+1 | |
| 2018-04-11 | Add set -x for debugging | Philipp Hansch | -0/+1 | |
| 2018-04-11 | Debug deployment script issues | Philipp Hansch | -3/+3 | |
| This prints some more information during the docs deployment. | ||||
| 2017-08-03 | Generate version index for docs domain index | Pascal Hertleif | -0/+13 | |
| Uses basically the same code as the lint docs page as I didn't want to reinvent anything: A simple python script (inline in deploy script) writes an array of versions to a JSON file, which gets turned into a list of links using a bit of angular.js code. Fixes #1917 | ||||
| 2016-08-17 | Fix Travis not pushing gh-pages for tags | mcarton | -2/+5 | |
| Turns out $TRAVIS_BRANCH is the tag name for tags. | ||||
| 2016-07-19 | Revert "Maybe fix `deploy.sh`" | mcarton | -2/+1 | |
| This reverts commit c6c85608613c6047752743513092aabecc5a472a. | ||||
| 2016-07-19 | Add encryption label to deploy.sh | mcarton | -0/+1 | |
| Aka. “Fix deploy.sh IV” | ||||
| 2016-07-19 | Fix deploy.sh III | mcarton | -3/+3 | |
| 2016-07-19 | Fix deploy.sh II | mcarton | -10/+10 | |
| 2016-07-19 | Maybe fix `deploy.sh` | mcarton | -1/+2 | |
| 2016-07-19 | Fix deploy.sh and python2 usage | mcarton | -1/+1 | |
| 2016-07-19 | Setup automatic push of gh-pages | mcarton | -0/+66 | |
| 2016-06-10 | Add a issue template and specify a *recent* nightly is needed | mcarton | -0/+8 | |
