dependabot[bot]
8dc06d1035
ci(deps): bump webfactory/ssh-agent from 0.7.0 to 0.8.0 ( #5657 )
2023-07-10 13:10:25 -04:00
Charlie Marsh
528bf2df3a
Use non-Insiders MkDocs for building in forks ( #5562 )
2023-07-06 15:02:46 +00:00
Charlie Marsh
b56b8915ca
Allow MkDocs job to run on forks ( #5553 )
...
Conditionally check whether the secret is available -- see:
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstepsif .
2023-07-06 05:46:49 +00:00
Charlie Marsh
c9e02c52a8
Add separate configuration for MkDocs Insiders plugins ( #5544 )
...
## Summary
This PR adds a separate configuration file to enable us to turn on
[Insiders-only
plugins](https://squidfunk.github.io/mkdocs-material/insiders/getting-started/#built-in-plugins ).
I've turned on the `typeset` plugin which ensures that the settings on
the left-hand navigation pane render as code:
<img width="1792" alt="Screen Shot 2023-07-05 at 6 27 20 PM"
src="https://github.com/astral-sh/ruff/assets/1309177/c93676dd-bb48-417a-9d3b-528bf001e9b7 ">
2023-07-05 18:40:21 -04:00
Charlie Marsh
ea270da289
Move some MkDocs responsibilities around ( #5542 )
...
## Summary
Note that I've also changed from `mkdocs serve` to `mkdocs serve -f
mkdocs.generated.yml` to be clearer that this is a generated file.
2023-07-05 22:06:01 +00:00
Charlie Marsh
1a2e444799
Use Insiders version of mkdocs-material ( #5540 )
...
## Summary
This PR migrates our `mkdocs-material` version to
[Insiders](https://squidfunk.github.io/mkdocs-material/insiders/ ), which
we can access now that we're sponsors.
We can't allow public access to the Insiders version, so we instead have
a private fork, which contains a deploy key that I've added as a
read-only Actions secret in this repo. (That is: the deploy key only
lets you read that one repo, and do nothing else.)
In general, non-Astral contributors can use the non-insiders version,
and everything is expected to "work", but without the insiders features
(they're intended to be ignored). See:
https://squidfunk.github.io/mkdocs-material/insiders/#compatibility .
2023-07-05 20:36:26 +00:00
Charlie Marsh
f4f1b1d0ee
Only run the playground release job on release ( #4636 )
2023-05-24 11:48:36 -04:00
Xuehai Pan
8c7317eb8d
ci: fix missing short tag for cloudflare/wrangler-action ( #3513 )
2023-03-14 15:16:09 +00:00
Xuehai Pan
78c2b0ac47
ci: add dependabot integration for GitHub Actions ( #3504 )
2023-03-14 10:31:26 -04:00
Martin Fischer
02285c18d1
Remove autogenerated docs/rules/*.md files
2023-02-13 19:34:06 -05:00
trag1c
b8835c2e35
Added MkDocs section to CONTRIBUTING.md ( #2803 )
2023-02-12 16:07:24 +00:00
Charlie Marsh
9b0a160239
Only update docs on release ( #2755 )
2023-02-10 22:14:50 -05:00
Jonathan Plasse
bdcab87d2f
Add markdownlint and dev Ruff to pre-commit ( #2303 )
2023-02-02 16:29:07 -05:00
Charlie Marsh
0362cc1098
Allow manual trigger for docs
2023-01-28 10:24:52 -05:00
Charlie Marsh
071e3fd196
Split MkDocs site into multiple pages ( #2296 )
2023-01-28 08:31:16 -05:00
Charlie Marsh
eaac3cae5e
Add MkDocs version of README ( #2287 )
...
Co-authored-by: Justin Flannery <juftin@juftin.com >
2023-01-27 22:57:42 -05:00
