| commit | 13dae355cbbc143b82b76c745161da308ddf5e02 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
ci: restrict token permissions and add badges to README.md Change-Id: Ia7e254eefb6658aa5110a7fea5a6847cb257a84b
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 1cc5381..07e2af0 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: