walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Disable valgrind on CI (#4137) 

* Disable valgrind on CI

* Use workflow dispatch
This commit is contained in:
Paul Fultz II 2022-05-25 14:36:59 -05:00 committed by GitHub
parent eb3b8a6cec
commit eefa04c7af
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/valgrind.yml vendored
View File

@ -2,7 +2,8 @@
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners # Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
name: valgrind name: valgrind
on: [push, pull_request] # on: [push, pull_request]
on: workflow_dispatch
jobs: jobs:
build: build: