Lzu Tao
700f664dcd
deploy: cd to out/ before adding files to git
2019-11-30 23:19:13 +07:00
Philipp Hansch
403b9c6b13
Fix master deployment
...
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-11-29 19:51:17 +01:00
Lzu Tao
b869eeb2a4
build: improve script and travis config
...
* 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-22 10:14:39 +07:00
Lzu Tao
871b30266c
PR template might not be stripped by contributors
2019-10-10 00:57:57 +07:00
Lzu Tao
5cad46d15a
template: Update how to format source code with ./util/dev
2019-08-08 21:37:19 +07:00
Oliver Scherer
d383a12deb
Update PULL_REQUEST_TEMPLATE
2019-04-16 15:15:19 +02:00
Oliver Scherer
f33cbc152d
Add new lint checklist
2019-04-16 13:30:46 +02:00
Oliver Scherer
275dbec86d
Create PULL_REQUEST_TEMPLATE
2019-04-16 11:04:42 +02:00
Philipp Hansch
38d4ac7cea
Remove all copyright license headers
...
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
2019-01-08 21:46:39 +01:00
Manish Goregaokar
23e5e24f52
Add license header to other files
2018-10-06 09:43:08 -07:00
Philipp Hansch
86afd26a6e
Update ISSUE_TEMPLATE
2018-09-13 18:31:39 +02:00
Philipp Hansch
9e6dc8d2d5
Add exec bit, add set -ex to ci test files
2018-05-16 18:55:21 +02:00
Philipp Hansch
bdba9c14e7
Add set -x for debugging
2018-04-11 08:23:02 +02:00
Philipp Hansch
8fbeaa81d8
Debug deployment script issues
...
This prints some more information during the docs deployment.
2018-04-11 08:13:59 +02:00
Pascal Hertleif
b3c90efcb4
Generate version index for docs domain index
...
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
2017-08-03 21:21:59 +02:00
mcarton
495f4bbf9f
Fix Travis not pushing gh-pages for tags
...
Turns out $TRAVIS_BRANCH is the tag name for tags.
2016-08-17 15:25:21 +02:00
mcarton
e3559ec4fc
Revert "Maybe fix deploy.sh"
...
This reverts commit c6c8560861
2016-07-19 23:08:41 +02:00
mcarton
8587bbe922
Add encryption label to deploy.sh
...
Aka. “Fix deploy.sh IV”
2016-07-19 23:00:36 +02:00
mcarton
1155925305
Fix deploy.sh III
2016-07-19 22:48:52 +02:00
mcarton
e8c54edfe1
Fix deploy.sh II
2016-07-19 22:42:09 +02:00
mcarton
c6c8560861
Maybe fix deploy.sh
2016-07-19 22:27:39 +02:00
mcarton
3fab9a8970
Fix deploy.sh and python2 usage
2016-07-19 22:07:39 +02:00
mcarton
01c61a714b
Setup automatic push of gh-pages
2016-07-19 21:26:16 +02:00
mcarton
d80436f9f2
Add a issue template and specify a *recent* nightly is needed
2016-06-10 13:47:47 +02:00
