Merge pull request #2408 from bgilbert/workflow

workflows: bump lint toolchain; restrict repository access
This commit is contained in:
Colin Walters 2021-07-28 20:27:35 -04:00 committed by GitHub
commit a3ce5df22e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 18 additions and 5 deletions

View File

@ -1,19 +1,21 @@
---
name: Docs
on:
push:
branches: [main]
pull_request:
branches: [main]
permissions:
# This workflow pushes to the gh-pages branch, so the token needs write
# privileges for repo contents.
contents: write
jobs:
docs:
name: Build documentation
runs-on: ubuntu-latest
permissions:
# This job pushes to the gh-pages branch, so the token needs write
# privileges for repo contents.
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@v2

View File

@ -7,6 +7,9 @@ on:
paths:
- 'configure.ac'
permissions:
contents: read
jobs:
ci-release-build:
name: "Sanity check release commits"

View File

@ -1,14 +1,18 @@
---
name: Rust
on:
push:
branches: [main]
pull_request:
branches: [main]
permissions:
contents: read
env:
CARGO_TERM_COLOR: always
ACTIONS_LINTS_TOOLCHAIN: 1.50.0
ACTIONS_LINTS_TOOLCHAIN: 1.53.0
jobs:
linting:

View File

@ -1,11 +1,15 @@
---
name: Tests
on:
push:
branches: [main]
pull_request:
branches: [main]
permissions:
contents: read
jobs:
tests:
# Distro configuration matrix