Build the docs

Defined OptimalityCriteria two times by accident #1169

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request January 31, 2025 09:59

opened #507

rmv-erroneus-double-definition-of-criteria

Status Success

Total duration 1m 19s

Artifacts –

docs-build.yaml

on: pull_request