commit 13dae355cbbc143b82b76c745161da308ddf5e02
author Davide Pesavento <davidepesa@gmail.com> Fri Aug 13 15:40:54 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Aug 13 15:40:54 2021 -0400
tree ac91c04589ac7ba138af291c7807ff4282200b8f
parent 8f0028de4ee89945b97c31734cda7e18428469f9

ci: restrict token permissions and add badges to README.md

Change-Id: Ia7e254eefb6658aa5110a7fea5a6847cb257a84b

.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 }}