renovate[bot]
fba3198204
Update actions/checkout action to v4.2.2
2024-11-01 02:27:09 +00:00
renovate[bot]
096bea29a1
Update actions/checkout action to v4.2.0
2024-10-01 01:27:48 +00:00
renovate[bot]
62d11fb86f
Update actions/checkout action to v4.1.7
2024-07-01 02:01:53 +00:00
renovate[bot]
75bf3f7327
Update dependency mdbook to v0.4.40
2024-06-01 14:38:52 +00:00
renovate[bot]
8974b92bd0
Update actions/checkout action to v4.1.6
2024-06-01 01:38:19 +00:00
renovate[bot]
de2ed6b8bf
Migrate config .github/renovate.json5
2024-05-15 15:15:21 +00:00
Eric Huss
793ffd107d
Add patch version for actions/checkout
...
This will make it so that renovatebot will update the comment with the full patch version.
2024-05-01 12:01:06 -07:00
renovate[bot]
ddd8298de2
Update actions/checkout digest to 0ad4b8f
2024-05-01 00:31:21 +00:00
renovate[bot]
ef1a19dcb9
Update actions/deploy-pages action to v4.0.5
2024-04-01 00:45:11 +00:00
renovate[bot]
a4eba3c5b2
Pin dependencies ( #3572 )
...
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
2024-02-13 12:35:29 +01:00
Tobias Bieniek
e78b4a8ba3
CI: Extract `MDBOOK_VERSION` variable and update it via renovatebot
2024-02-12 17:51:11 +01:00
Tobias Bieniek
487cc328f0
Add renovatebot config file
2024-02-12 17:46:50 +01:00
Eric Huss
2f96670871
Merge pull request #3565 from ehuss/update-mdbook
...
Update mdbook to 0.4.37
2024-02-12 08:30:58 -08:00
Eric Huss
701ce4f10d
Update actions versions
2024-02-08 15:16:08 -08:00
Eric Huss
c9c816d231
Update mdbook to 0.4.37
2024-02-08 14:53:33 -08:00
Tobias Bieniek
6834ff920b
Use `actions/deploy-pages` to deploy `mdbook` output
2023-04-18 13:41:43 +02:00
Eric Huss
0eb7dfba54
Update mdbook
...
Various small changes listed at https://github.com/rust-lang/mdBook/blob/master/CHANGELOG.md#mdbook-0426
2023-02-12 10:46:54 -08:00
Eric Huss
2f348cfb6a
Add ability to have sub-chapters
...
This adds the ability for an RFC to have sub-chapters.
2023-02-12 10:44:02 -08:00
Jan-Erik Rediger
782376fa36
Update to mdbook v0.4.21
2022-11-08 10:21:11 +01:00
Eliaz Bobadilla
b8e5068400
tools: update checkout action on CI
...
https://github.com/actions/checkout\#whats-new
2022-03-30 12:09:45 -05:00
Michael Howell
715bc47154
Do not include headers in search index
...
This significantly shrinks the pre-compressed search index:
$ du -h searchindex-old.js searchindex-new.js
26M searchindex-old.js
19M searchindex-new.js
And shrinks the search index even after it's gzipped:
$ du -h searchindex-old.js.gz searchindex-new.js.gz
4.5M searchindex-old.js.gz
3.3M searchindex-new.js.gz
This change requires a newer version of mdBook, with
https://github.com/rust-lang/mdBook/pull/1637
2021-10-04 09:13:37 -07:00
Eric Huss
21029cd587
Switch from travis to github actions.
2021-06-17 15:02:23 -07:00