Verify deploy-docs picks up mkdocs site-perms fix (paolino/dev-assets#25)

[paolino]

Track bumping the dev-assets / mkdocs flake input(s) so this repo picks up paolino/dev-assets#25.

Context

mkdocs themes/plugins in /nix/store ship as 0444 files in 0555 directories (mkdocs-asciinema-player icons, mkdocs-material theme assets). mkdocs uses shutil.copy2 which preserves those bits, leaving site/ non-writable. On self-hosted runners that preserve the workspace, the next actions/checkout@v6 fails with:

##[error]File was unable to be removed Error: EACCES: permission denied, unlink '.../site/css/icons/close.svg'

paolino/dev-assets#25 wraps mkdocs in the dev shell so every build chmod's the site dir writable on exit. Reference downstream bump: lambdasistemi/cardano-tx-tools#93.

Tasks

This repo uses nix develop github:paolino/dev-assets?dir=mkdocs in deploy-docs.yml without a flake.lock pin, so the next run picks up the fix automatically.

• On the next docs-deploy run, confirm no EACCES on the runner workspace and site/ has no read-only files
• Close once observed

cc @paolino