Commit Graph

9 Commits

Author SHA1 Message Date
Yuki Okushi 27c2aa6f19 Update mdbook and its extensions versions
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Yuki Okushi 03752abfa4 Remove unmaintained action
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Yuki Okushi b8b984f0a2 Update some actions versions
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Niko Matsakis e764363e7f add mdbook-mermaid 2022-07-17 23:34:12 +02:00
Noah Lev dac568c95c Ensure date-check cron job is using latest stable Rust
This should prevent future failures like this one [1].

[1]: https://github.com/rust-lang/rustc-dev-guide/runs/4067460927?check_suite_focus=true
2021-11-04 09:33:03 -07:00
Tshepang Lekhonkhobe 74b138e1f0 update mdbook version to latest
v0.4.7 didn't have the feature to allow this

See https://github.com/rust-lang/rustc-dev-guide/pull/1180#issuecomment-899128718
2021-08-15 20:47:42 -05:00
Yuki Okushi e8129ee105 Trigger GHA only on the original repo 2021-04-27 13:15:39 -04:00
Yuki Okushi 674f73da63
Switch from Travis to GHA (#1073) 2021-03-10 11:51:56 -05:00
Camelid 5118b6b865 Implement date-checker
This tool looks for HTML comments like `<!-- date: 2021-01 -->` in each
Markdown source file and compiles a list of dates that are older than
six months. It then opens an issue with that list, with checkboxes for
each file and date. Note that it will only open an issue if there was at
least one date older than six months; it does nothing if the list is
empty.

This tool is automatically run monthly in a GitHub Actions workflow.
I have tested the tool on a private repo and confirmed that it works.
2021-02-03 19:29:07 -05:00