Mirrors/rust-clippy
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-clippy synced 2024-11-24 05:33:27 +00:00
Code Issues Projects Releases Packages Wiki Activity
8820 commits 4 branches 211 tags 121 MiB
Commit graph

25 commits

Author SHA1 Message Date
flip1995
d164ab65f7 Merge commit 'da5a6fb1b65ec6581a67e942a3850f6bc15a552c' into clippyup 2020-07-26 21:07:07 +02:00
flip1995
aa1ad42736
Also deploy from the beta branch 2020-03-25 20:20:54 +01:00
flip1995
f8224977b1
Fix deploy script for tag deploys 2020-02-27 18:03:30 +01:00
flip1995
0f7918266f
Rename current -> stable 2020-02-14 12:03:48 +01:00
flip1995
0533cff125
Use python3 instead of python 
This changes the formatting a bit of json.dump(..)
 2020-02-13 18:07:56 +01:00
flip1995
5e03d5bb06
Sort versions in json output 2020-02-13 17:59:37 +01:00
flip1995
b47dada167
Apply review comments 2020-02-12 09:34:28 +01:00
flip1995
dfdea56e99
Extract deployment 2020-02-12 09:34:27 +01:00
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
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
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