Skip to content

Merge pull request #157 from OP-TED/develop #83

Merge pull request #157 from OP-TED/develop

Merge pull request #157 from OP-TED/develop #83

Triggered via push September 17, 2025 14:01
Status Success
Total duration 2m 4s
Artifacts 1
Build site with Antora
1m 24s
Build site with Antora
Deploy GitHub Pages
30s
Deploy GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Deploy GitHub Pages
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 GitHub Pages
Unexpected input(s) 'GITHUB_TOKEN', 'COMMIT_MESSAGE', valid inputs are ['ssh-key', 'token', 'branch', 'folder', 'target-folder', 'commit-message', 'clean', 'clean-exclude', 'dry-run', 'force', 'git-config-name', 'git-config-email', 'repository-name', 'workspace', 'tag', 'single-commit', 'silent']

Artifacts

Produced during runtime
Name Size Digest
site Expired
1.96 MB
sha256:1ee090df3ca141da803da198370b6bdc91d1748043ffde5f0dec0d72908e6c74