Benjamin Lorenz

> @benlorenz Some non-canonical output changed for the booktest (but the result is isomorphic). What is the recommended way? Do a breaking release and then adjust it? Yes. Since it...

> @benlorenz I have a feeling I have asked this before, but is there a reason that we do not run the downstream tests with `depwarn=error`? I don't really remember,...

Please add the new functions to the docs md file (or don't export them, they are not really needed as the polytopes can be accessed via the wrapper as well).

I don't really think we want to backport this: rarely anyone will look at the readme not on the master branch, and if we really want to change the badge...

The yaml looks ok and yes the `os` value is used for runs-on. If something is wrong github should refuse to run it and report an error.

This should be able to run on the PR as well but you need to remove the `[skip ci]` and then force push.

Can we also do at least one full run (of all jobs) please? Right now some jobs still show e.g. `Successful in 119m` because they ran before the changed resources....

I think we need a bit more memory, the `short` testgroup by now is somewhat more demanding than the long one. #### Workers There is output like this (in 1.11...

One nightly job failed with signal 15 during precompilation: https://github.com/oscar-system/Oscar.jl/actions/runs/12069447894/job/33656738432?pr=3986#step:10:362 ``` [835030] signal 15: Terminated in expression starting at /home/oscarci-tester/oscar-runners/runner-03/_work/_actions/julia-actions/julia-runtest/latest/test_harness.jl:22 Error: The operation was canceled. ``` This might have been...

I have the same issue on lineageos (using microG 0.3.3.240913), I think this is related to this news item for the latest version: > - We will offer you new...