Codecov Report

Attention: Patch coverage is 83.33333% with 1 line in your changes missing coverage. Please review.

Project coverage is 52.30%. Comparing base (7baf25d) to head (72e9a8e).
Report is 6 commits behind head on main.

@@            Coverage Diff             @@
##             main      #13      +/-   ##
==========================================
+ Coverage   52.27%   52.30%   +0.02%     
==========================================
  Files          99       99              
  Lines        3772     3776       +4     
==========================================
+ Hits         1972     1975       +3     
- Misses       1800     1801       +1     

Looks good to me, I'm fine with the test as suggested.

Hm, not sure why the Documentation build now fails, saying the IESoptLib version is fixed to 0.1-0.2.
In the CI workflow IESoptLib 0.3 is used.
I could try to add Pkg.update() to the Documentation workflow in github actions, but I am not sure if we want this.

Hm, not sure why the Documentation build now fails, saying the IESoptLib version is fixed to 0.1-0.2. In the CI workflow IESoptLib 0.3 is used. I could try to add Pkg.update() to the Documentation workflow in github actions, but I am not sure if we want this.

Maybe it was generally a bad idea from me to separate those? Since we kinda rely on that alot for tests (therefore later also coverage), we need to update compat, etc. in IESopt.jl anyways every time we introduce something new to IESoptLib.jl. The initial idea was to prevent new core versions just because some template, etc. changed, but... ?

E.g., similar to how Containers is contained in JuMP: https://github.com/jump-dev/JuMP.jl/tree/master/src/Containers

Edit: yea... I already made a stupid mistake because of that: I merged the CompatHelper compat update for IESoptLib - which it detects since it assume 0.x.y to be non-breaking for a change in x, whereas everything else seems to consider "a leading 0 means x can be breaking". So now the general tests are failing because it already pulls v0.3.0 - which I should have thought of but did not.