Retrigger pipeline to publish 1.12

[n-borges]

Hi!

It seems that the latest run failed, and thus version 1.12 is not currently available on pypi. Logs of that run expired: would you mind just retriggering it so we can take a look at them and attempt to troubleshoot this?

It looks like this project is not actively maintained anymore, but with a minimal effort we should be able to at least publish the latest version! 🚀

[lino]

I would love to, but somehow the settings are messed up, so that fixing this is beyond what I can do.