rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2025-01-09	Also deploy index.html file on release	Philipp Krones	-0/+2

2024-10-03	Move theme handling JS into its own file to make theme being applied before ↵	Guillaume Gomez	-0/+1
	first rendering
2024-09-22	Generate lint list in HTML directly instead of JS	Guillaume Gomez	-1/+0

2024-09-18	Generate versions HTML directly	Alex Macleod	-6/+3

2024-07-30	Move style into its file	Guillaume Gomez	-0/+1

2022-04-26	Move js out to its own file	Serial	-0/+1

2021-10-21	Fix deploy script	flip1995	-1/+2
	I broke this script in #7502, so that the stable symlink isn't generated anymore. This reverts this change.
2021-07-28	Update deploy CI	flip1995	-5/+4
	This updates all the deploy scripts and the deploy workflow. The deploy workflow now runs the metadata collector to collect the lint documentation. It also changes the files that are checked out in the deploy workflow from master and adds an explanation why we have to do this.
2020-07-16	Track tag files, before checking for the diff	flip1995	-0/+2

2020-07-16	Fix deploy script for beta deployment	flip1995	-6/+13
	Since the beta/ directory already exists, we can't copy the complete master dir
2020-03-25	Also deploy from the beta branch	flip1995	-1/+9

2020-02-27	Fix deploy script for tag deploys	flip1995	-2/+12

2020-02-14	Rename current -> stable	flip1995	-3/+3

2020-02-13	Use python3 instead of python	flip1995	-2/+2
	This changes the formatting a bit of json.dump(..)
2020-02-13	Sort versions in json output	flip1995	-7/+3

2020-02-12	Apply review comments	flip1995	-1/+1

2020-02-12	Extract deployment	flip1995	-49/+11

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-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-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