diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2022-03-13 14:43:14 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2022-03-13 14:43:14 -0400 |
commit | 21344dfb72f9b65b366ca5f754f1bc35f52da3c7 (patch) | |
tree | e5c4c4011bfdbe2b745336768c61ddc4652fbef8 /.github/workflows/codecov.yml | |
parent | c4676b38309bba5d24efeb22f52fbeaace7dcbe2 (diff) | |
download | bfs-21344dfb72f9b65b366ca5f754f1bc35f52da3c7.tar.xz |
exec: Don't flush if the user says no to -ok
Diffstat (limited to '.github/workflows/codecov.yml')
0 files changed, 0 insertions, 0 deletions