Skip to content

[Handle] Use get_optional instead of get_value<double> #1276

[Handle] Use get_optional instead of get_value<double>

[Handle] Use get_optional instead of get_value<double> #1276

Triggered via pull request February 20, 2025 17:38
Status Success
Total duration 1m 9s
Artifacts

rolling-pre-commit.yml

on: pull_request
pre-commit  /  pre-commit
53s
pre-commit / pre-commit
Fit to window
Zoom out
Zoom in