commit c4343232bc03d101da57aa807bc1bd961f74c400
author Davide Pesavento <davidepesa@gmail.com> Fri Aug 13 23:17:05 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Aug 13 23:17:05 2021 -0400
tree a0b39d11dad6d256744d3a4173e9b3d6bb646960
parent f8d9a531dd6c56207f6b2b58df881b4fe2703e60

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

Change-Id: I057fab1370f4f3941bf3fe1de9c6d99198e3bd71

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