mirror of
https://github.com/michaelrsweet/pdfio.git
synced 2024-12-26 13:28:22 +01:00
Tweak coverity Github Actions.
This commit is contained in:
parent
8ad699c93a
commit
0c6b8f49d2
3
.github/workflows/coverity.yml
vendored
3
.github/workflows/coverity.yml
vendored
@ -3,8 +3,9 @@ name: Coverity Scan
|
|||||||
on: workflow_dispatch
|
on: workflow_dispatch
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
latest:
|
coverity-scan:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
environment: Coverity
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v2
|
||||||
- name: update build environment
|
- name: update build environment
|
||||||
|
Loading…
Reference in New Issue
Block a user