55c8550221
Also deploy index.html file on release
2025-01-09 18:24:02 +01:00
d52b9aa564
Move theme handling JS into its own file to make theme being applied before first rendering
2024-10-03 11:12:19 +02:00
b522e7a944
Generate lint list in HTML directly instead of JS
2024-09-22 22:30:44 +02:00
d2305ff634
Generate versions HTML directly
2024-09-18 18:51:54 +00:00
b7e7975ded
Move style into its file
2024-07-30 16:01:36 +02:00
06cc1abbb1
Move js out to its own file
2022-04-26 18:22:37 -04:00
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
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
c65eb4d663
Track tag files, before checking for the diff
2020-07-16 14:42:13 +02:00
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
aa1ad42736
Also deploy from the beta branch
2020-03-25 20:20:54 +01:00
f8224977b1
Fix deploy script for tag deploys
2020-02-27 18:03:30 +01:00
0f7918266f
Rename current -> stable
2020-02-14 12:03:48 +01:00
0533cff125
Use python3 instead of python
...
This changes the formatting a bit of json.dump(..)
2020-02-13 18:07:56 +01:00
5e03d5bb06
Sort versions in json output
2020-02-13 17:59:37 +01:00
b47dada167
Apply review comments
2020-02-12 09:34:28 +01:00
dfdea56e99
Extract deployment
2020-02-12 09:34:27 +01:00
700f664dcd
deploy: cd to out/ before adding files to git
2019-11-30 23:19:13 +07:00
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
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
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
23e5e24f52
Add license header to other files
2018-10-06 09:43:08 -07:00
9e6dc8d2d5
Add exec bit, add set -ex to ci test files
2018-05-16 18:55:21 +02:00
bdba9c14e7
Add set -x for debugging
2018-04-11 08:23:02 +02:00
8fbeaa81d8
Debug deployment script issues
...
This prints some more information during the docs deployment.
2018-04-11 08:13:59 +02:00
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
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
e3559ec4fc
Revert "Maybe fix deploy.sh"
...
This reverts commit c6c8560861
2016-07-19 23:08:41 +02:00
8587bbe922
Add encryption label to deploy.sh
...
Aka. “Fix deploy.sh IV”
2016-07-19 23:00:36 +02:00
1155925305
Fix deploy.sh III
2016-07-19 22:48:52 +02:00
e8c54edfe1
Fix deploy.sh II
2016-07-19 22:42:09 +02:00
c6c8560861
Maybe fix deploy.sh
2016-07-19 22:27:39 +02:00
3fab9a8970
Fix deploy.sh and python2 usage
2016-07-19 22:07:39 +02:00
01c61a714b
Setup automatic push of gh-pages
2016-07-19 21:26:16 +02:00
Philipp Krones