CI coveralls crates.io github docker

github-workflows-update

github-workflows-update reads all github workflow and checks the latest available versions of all github actions and workflow dispatches used, showing which ones can be updated and optionally updating them automatically.