Skip to content

Merge pull request #34 from stefano-garzarella/verus-workflow #23

Merge pull request #34 from stefano-garzarella/verus-workflow

Merge pull request #34 from stefano-garzarella/verus-workflow #23

Triggered via push November 26, 2025 16:17
Status Success
Total duration 2m 26s
Artifacts

publish-docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
deploy
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/
deploy
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/
deploy
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/
deploy
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/