Tweak coverity Github Actions.

This commit is contained in:
Michael R Sweet 2021-10-05 18:26:51 -04:00
parent f23fd8de59
commit 494924a78c
No known key found for this signature in database
GPG Key ID: 999559A027815955

View File

@ -3,8 +3,9 @@ name: Coverity Scan
on: workflow_dispatch
jobs:
latest:
coverity-scan:
runs-on: ubuntu-latest
environment: Coverity
steps:
- uses: actions/checkout@v2
- name: update build environment