man.sero.run isn't building

[jdjkelly]

There's something wrong with the build/deploy steps for the deploy to pages action

[jamais-vu]

Under "Deploy" > "Deploy to pages" there's:

14 cp: no such file or directory: /home/runner/work/sero/sero/docs/*
15 cp: no such file or directory: /home/runner/work/sero/sero/docs/.*
16 rm: no paths given

Of the builds I've looked at, this seems to go back at least as far as Deploy to pages #58.

Deploy to pages #62 has a similar warning:

14 cp: no such file or directory: /home/runner/work/sero/sero/docs/*
15 [INFO] Usage https://github.com/peaceiris/actions-gh-pages#readme
16 cp: no such file or directory: /home/runner/work/sero/sero/docs/.* 

Executing npm run docs locally builds the directory /docs with the expected content, and the build portion of the GitHub Action appears to also do so:

Run npm run docs

> @sero.run/[email protected] docs /home/runner/work/sero/sero
> typedoc src/index.ts src/cds-hooks/index.ts src/rest/index.ts --readme ./README.md --tsconfig tsconfig/base.json

Info: Documentation generated at /home/runner/work/sero/sero/docs

so I think it's a problem with the deploy step.

I'm looking into this now.