Publish documentation

Publish documentation #17220

Sign in to view logs

Triggered via workflow run January 31, 2025 17:20

fchapoton

completed ⁠ dc99dc8

Status Success

Total duration 3m 37s

Artifacts –

doc-publish.yml

on: workflow_run

publish-live-doc

Annotations

4 warnings and 1 notice

publish-doc

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

publish-doc

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

publish-doc

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

publish-doc

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

publish-doc

The documentation has been deployed - https://doc-pr-39417--sagemath.netlify.app