Repository navigation

fix: Change unknown value of YesNoSome to "unknown" - #180

Closed

olafmersmann wants to merge 6 commits into

pr-make-references-top-levelfrom

Closed

fix: Change unknown value of YesNoSome to "unknown"#180
olafmersmann wants to merge 6 commits into
pr-make-references-top-levelfrom
fix-178

Commits on Apr 22, 2026
- doc: Add documentation for new schema
  olafmersmann
  committed
  014d004
- fix: Make all reference fields optional
  olafmersmann
  committed
  1f4ad8a
- feat: Extend evaluation_time to problems
  olafmersmann
  committed
  3343cd8
- chore: Convert problem.yaml to new schema
  olafmersmann
  committed
  a3059ed
- fix: Make references top level objects
  olafmersmann
  committed
  f34d46f
- fix: Change unknown value of YesNoSome to "unknown"
  olafmersmann
  committed
  58fce93