Docs lint

penumbra: use `[email protected]` #1725

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mdbook-lint	6m 47s
mdbook-lint	6m 47s
rustdoc-lint	28s
rustdoc-lint	3m 39s
	17m 41s