Alberto Cuesta Cañada

Results 42 comments of Alberto Cuesta Cañada

Closed #736, but now #783 has all the scripts necessary. A different PR will get them on CI.

This is working, but there are a number of tasks that fail the numbering scheme. I suggest just renaming them from `nnn-foo` or `nnn-n-foo` to `nnn.n-foo`, which would do the...