commit 01cea502cad96c0f4cf8fa02b81c89197a28040a
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

docs: fix linking to ndnsec-* man pages

And various other minor improvements

Change-Id: Idac7629ce2728ddb641bacfc020314ae3d7f00b9

.github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e7188d2..20f7cb4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,9 +1,16 @@
 name: CI
 on:
   push:
-  pull_request:
+    paths-ignore:
+      - 'docs/**'
+      - '*.md'
+      - '.mailmap'
+      - '.travis.yml'
   workflow_dispatch:
 
+permissions:
+  contents: read
+
 jobs:
   linux:
     name: ${{ matrix.compiler }} on ${{ matrix.os }}