rust
/
rfcs
mirror of https://github.com/rust-lang/rfcs
1
0
Fork 0
Code Issues Releases Wiki Activity
6,654 Commits 9 Branches 0 Tags 47 MiB
Commit Graph

15 Commits

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