github-actions

Notes, snippets etc.