Skip to content
merge main to develop

move old javadocs into new folder (#5545) #584

Sign in to view logs

move old javadocs into new folder (#5545)

move old javadocs into new folder (#5545) #584

Triggered via push November 2, 2025 10:44
@hmottestadhmottestad
pushed 0d7ac47
main
Status Success
Total duration 1m 10s
Artifacts –

merge_main_to_develop.yml

on: push
pull-request
1m 7s
pull-request
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
pull-request
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/
pull-request
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/
pull-request
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/