Skip to content
Deploy to GitHub Pages

Add signature annotations to OdeT! and OdeT!! #64

Sign in to view logs

Add signature annotations to OdeT! and OdeT!!

Add signature annotations to OdeT! and OdeT!! #64

Triggered via push November 4, 2025 22:18
@OmnikarOmnikar
pushed d9d1fc8
main
Status Success
Total duration 40s
Artifacts 1

deploy-docs.yml

on: push
build
24s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build
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/
build
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/
build
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/
build
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 Digest
github-pages Expired
126 KB
sha256:c304d3f2571f51ea6bc9da5e8ed331f8986d9fb78cb4729ff9ba5302b076562a