Yuki Okushi
e5b0c818bc
Upgrade actions to use Node.js v20 ( #1863 )
2024-01-28 19:45:18 -03:00
jyn
8c838fb2fb
Various improvements to check_line_lengths.sh ( #1667 )
2023-04-09 12:08:46 +09:00
Noah Lev
0d8389c31e
Bump dependencies to fix CI ( #1610 )
2023-02-18 09:37:19 +09:00
Yuki Okushi
9d0cb48524
Use ephemeral PAT for linkcheck
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2023-01-28 20:39:19 +02:00
Yuki Okushi
f9875c29a9
chore: Update actions/github-script to v6
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-12-08 18:59:18 -08:00
Yuki Okushi
57f762226e
Update mdbook and its extensions versions
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Yuki Okushi
88b498aa33
Remove unmaintained action
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Yuki Okushi
39d2be681e
Update some actions versions
...
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2022-09-22 10:48:08 +02:00
Niko Matsakis
d1501b5cf1
add mdbook-mermaid
2022-07-17 23:34:12 +02:00
Noah Lev
ff167cfd3b
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
5d77984e03
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
cadc25ff9b
Trigger GHA only on the original repo
2021-04-27 13:15:39 -04:00
Yuki Okushi
e33049fc64
Switch from Travis to GHA ( #1073 )
2021-03-10 11:51:56 -05:00
Camelid
bc320e7800
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
