GitHub actions

Notes on GitHub actions.