GitHub Actions on g1t, part three: .g1t/workflows, the pages, the docs
Workflows live in .g1t/workflows in GitHub's own format, and g1t never reads .github: moving a repository is renaming .github to .g1t. Local actions still named ./.github/... are found under .g1t. The site gains an Actions page (workflows, runs, manual runs with their inputs, turning a workflow off, notes on what runs differently), a run page (jobs, steps, live logs with groups, errors and annotations, cancel and re-run), Secrets and variables for repositories and workspaces, and workflow statuses on pull requests. Fixes: the runner answers start requests with a value, and a sandbox that fails to start fails its job with why; log sequence numbers go to D1 as numbers, not BigInts. The guide is docs.g1t.sh/guides/actions.
No changes
This commit changes no files.