Closed GioF71 closed 1 year ago
There are two github workflows, with minor differences (notably the list of docker build platforms), which should be covered in one single workflow.
There are two github workflows, with minor differences (notably the list of docker build platforms), which should be covered in one single workflow.