Skip to content

Merge pull request #771 from proux01/rocq #1532

Merge pull request #771 from proux01/rocq

Merge pull request #771 from proux01/rocq #1532

Triggered via push February 16, 2025 16:03
Status Success
Total duration 7m 30s
Artifacts 1

doc.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build 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/

Artifacts

Produced during runtime
Name Size
artifact
227 KB