diff options
| author | Russ Allbery <eagle@eyrie.org> | 2020-05-17 17:17:24 -0700 |
|---|---|---|
| committer | Russ Allbery <eagle@eyrie.org> | 2020-05-17 17:17:24 -0700 |
| commit | 27662bbd5b1381e0e2b00e060bdb1c873cb22141 (patch) | |
| tree | 3c0d1512e1c77fee62a904b2986bd20f9227e291 /docs | |
| parent | c138111a3c27863308b6552a5527a9e821a3dc11 (diff) | |
Switch to GitHub Actions for CI
Regenerate the documentation with patched DocKnot 3.04 to pick up
the new status badge, which fixes a few other issues with
documentation generation.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/metadata/metadata.json | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/metadata/metadata.json b/docs/metadata/metadata.json index 8d06621..f1d5074 100644 --- a/docs/metadata/metadata.json +++ b/docs/metadata/metadata.json @@ -38,7 +38,9 @@ "browse": "https://git.eyrie.org/?p=kerberos/wallet.git", "github": "rra/wallet", "openhub": "https://www.openhub.net/p/wallet", - "travis": "rra/wallet", + "status": { + "workflow": "build", + }, }, "readme": { "sections": [ |