about summary refs log tree commit diff
path: root/.github
AgeCommit message (Collapse)AuthorLines
2020-01-30Deprecate util/dev in favor of cargo aliasPhilipp 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-30deploy: cd to out/ before adding files to gitLzu Tao-0/+1
2019-11-29Fix master deploymentPhilipp 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-22build: improve script and travis configLzu 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-10PR template might not be stripped by contributorsLzu Tao-2/+3
2019-08-08template: Update how to format source code with ./util/devLzu Tao-2/+4
2019-04-16Update PULL_REQUEST_TEMPLATEOliver Scherer-0/+4
2019-04-16Add new lint checklistOliver Scherer-0/+9
2019-04-16Create PULL_REQUEST_TEMPLATEOliver Scherer-0/+15
2019-01-08Remove all copyright license headersPhilipp Hansch-11/+0
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
2018-10-06Add license header to other filesManish Goregaokar-0/+12
2018-09-13Update ISSUE_TEMPLATEPhilipp Hansch-1/+1
2018-05-16Add exec bit, add set -ex to ci test filesPhilipp Hansch-2/+1
2018-04-11Add set -x for debuggingPhilipp Hansch-0/+1
2018-04-11Debug deployment script issuesPhilipp Hansch-3/+3
This prints some more information during the docs deployment.
2017-08-03Generate version index for docs domain indexPascal 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-17Fix Travis not pushing gh-pages for tagsmcarton-2/+5
Turns out $TRAVIS_BRANCH is the tag name for tags.
2016-07-19Revert "Maybe fix `deploy.sh`"mcarton-2/+1
This reverts commit c6c85608613c6047752743513092aabecc5a472a.
2016-07-19Add encryption label to deploy.shmcarton-0/+1
Aka. “Fix deploy.sh IV”
2016-07-19Fix deploy.sh IIImcarton-3/+3
2016-07-19Fix deploy.sh IImcarton-10/+10
2016-07-19Maybe fix `deploy.sh`mcarton-1/+2
2016-07-19Fix deploy.sh and python2 usagemcarton-1/+1
2016-07-19Setup automatic push of gh-pagesmcarton-0/+66
2016-06-10Add a issue template and specify a *recent* nightly is neededmcarton-0/+8