Better Github Workflows por revdev

Githubs workflow sidebar is a bit annoying, especially when you have a ton of workflows. With this extension you are able to look at all the workflows and filter them.