Merge pull request #721 from cjmayo/build

Set permissions for build workflow
This commit is contained in:
Chris Mayo 2023-01-30 19:36:36 +00:00 committed by GitHub
commit c055c4f52b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,7 @@
# NB: this name is used in the status badge, where we want to see "build: passing"
name: build
permissions:
contents: read
on:
push: