[fmvilas]

This is awesome! It's a pity that Github Actions don't work well with PRs coming from forks. We could do many more things.