# Scripts

Workflow scripts to be used in Github Actions