Commit Graph

22 Commits

Author SHA1 Message Date
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