Passed
Pull Request — main (#320)
by Michiel
12:54 queued 06:42
created

Changes

Good job, 2 issues were fixed.
9.83
▶   ± 0
Head
Michiel Kodde  
Merge 1b382e71b9013190961dbbfa29e5dc9ebb18b041 into 99afef4a781dc724ba3980a12e916309644b3ead
4 more commits
Base
Peter Havekes  
Update GHA versions for building docker image