commit | c4343232bc03d101da57aa807bc1bd961f74c400 | [log] [tgz] |
---|---|---|
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 [diff] [blame] |
ci: restrict token permissions and add badges to README.md Change-Id: I057fab1370f4f3941bf3fe1de9c6d99198e3bd71
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index adccec2..9f25475 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: