srctree

Robin Linden parent adf87728 2685da7a
ci: Set jobs to only be allowed to read the repo contents

.github/workflows/ci.yaml added: 6, removed: 1, total 5

@@ -4,6 +4,11 @@ on:

push:

branches: [master]

name: ci

# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions

permissions:

contents: read

jobs:

linux-ci:

name: linux-${{ matrix.name }}