Julianus Pfeuffer
Julianus Pfeuffer
The leader currently has no significance. It should be the first encountered in the internal data structures. It might change in different inference algorithms but only due to different orderings...
While I think you are right that we should use the variable if it is there, I can't really follow why the current setup does not work. Usually you only...
Ah yes, true. I was looking at ConsensusMap.
Yes, I think those are valid reasons and I support that procedure, too. Let's see when this is going to happen and proceed like discussed. This issue can keep track...
Our tools by default do some update checks (which can be disabled by setting an environment variable). Maybe they cannot communicate with our server? But indeed this is more a...
I think I agree with @eeko-kon @axelwalter Ready to review? Then convert to normal non-draft PR.
Yes, I guess we have to wait. We still need to solve SQL problems for release anyway.
I would like to see a diff of the files of CI and a local machine. Is it really indeterministic on the same platform?? I would vote for checking the...
I cannot test the changes because of https://github.com/OpenMS/pyopenms-docs/issues/307
Please test.