Uses https://github.com/vmchale/github-actions-dhall Yaml can be regenerated with ``` dhall-to-yaml --file ci.dhall > .github/workflows/implicit.yaml ```