Guillaume Gomez
b522e7a944
Generate lint list in HTML directly instead of JS
2024-09-22 22:30:44 +02:00
Alex Macleod
d2305ff634
Generate versions HTML directly
2024-09-18 18:51:54 +00:00
Guillaume Gomez
b7e7975ded
Move style into its file
2024-07-30 16:01:36 +02:00
Serial
06cc1abbb1
Move js out to its own file
2022-04-26 18:22:37 -04:00
flip1995
96126e7ce9
Fix deploy script
...
I broke this script in #7502 , so that the stable symlink isn't generated
anymore. This reverts this change.
2021-10-21 18:00:57 +02:00
flip1995
6c5d199d57
Update deploy CI
...
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.
2021-07-28 14:16:31 +02:00
flip1995
c65eb4d663
Track tag files, before checking for the diff
2020-07-16 14:42:13 +02:00
flip1995
ef896faa01
Fix deploy script for beta deployment
...
Since the beta/ directory already exists, we can't copy the complete master dir
2020-07-16 13:44:58 +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
