| commit | 01cea502cad96c0f4cf8fa02b81c89197a28040a | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 31 19:25:42 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Jul 31 19:31:28 2021 -0400 |
| tree | 5e53d588d176214b3569df18927dc00dad67bc3f | |
| parent | b3b95621351dd919aa2487ee9601a0174e0425df [diff] [blame] |
docs: fix linking to ndnsec-* man pages And various other minor improvements Change-Id: Idac7629ce2728ddb641bacfc020314ae3d7f00b9
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ea32653..6fa581b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml
@@ -1,9 +1,14 @@ name: Docs on: push: - pull_request: + paths-ignore: + - '.mailmap' + - '.travis.yml' workflow_dispatch: +permissions: + contents: read + jobs: build: strategy: