91d8bbe8a3
Bump dependencies to fix CI ( #1610 )
2023-02-18 09:37:19 +09:00
566124f0df
Use ephemeral PAT for linkcheck
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2023-01-28 20:39:19 +02:00
3b98da0cd7
chore: Update `actions/github-script` to v6
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-12-08 18:59:18 -08:00
27c2aa6f19
Update mdbook and its extensions versions
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
03752abfa4
Remove unmaintained action
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
b8b984f0a2
Update some actions versions
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
e764363e7f
add mdbook-mermaid
2022-07-17 23:34:12 +02:00
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
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
e8129ee105
Trigger GHA only on the original repo
2021-04-27 13:15:39 -04:00
674f73da63
Switch from Travis to GHA ( #1073 )
2021-03-10 11:51:56 -05:00
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
Noah Lev
Yuki Okushi
Niko Matsakis
Tshepang Lekhonkhobe
Yuki Okushi