Infrastructure: netlify

Jump to bottom Edit New page

Kwankyu Lee edited this page Jul 3, 2024 · 4 revisions

purpose: Documentation deployed by GH Actions workflow doc-publish.yml
admin as of 2024-06: @kwankyu (see #34874)
configured via NETLIFY_AUTH_TOKEN, NETLIFY_SITE_ID in "Settings / Security / Repository secrets" (sagemath/sage).