diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-02-05 10:16:57 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-05 10:17:44 -0800 |
| commit | 550ec3410147aac77a67cff4644c088d9c4fa132 (patch) | |
| tree | 573427708f1d9d226ea0b3c9f4af30824aa15ce9 /core/divelist.h | |
| parent | 5e0ce206a0cb88754b27cf8d7b9d65773f87cd07 (diff) | |
| download | subsurface-550ec3410147aac77a67cff4644c088d9c4fa132.tar.gz | |
GitHub Actions: convert Coverity build to using container as well
Same build failures as we had with the other Bionic based build.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/divelist.h')
0 files changed, 0 insertions, 0 deletions