diff options
| author | Domen Kožar <domen@dev.si> | 2020-08-30 23:12:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-30 23:12:11 +0200 |
| commit | 56707218f601418b211f37a7b44f671ab3dacd8d (patch) | |
| tree | db1a03e9bc225ecd68b74c43c027ec35886d9a69 /tests/dump-db.sh | |
| parent | 8757e7022a9b407b69f173b3793fababf1e8ed84 (diff) | |
| parent | f38fe24346ca6b0201aed716db9cf47336a708ee (diff) | |
Merge pull request #3970 from NixOS/domenkozar-patch-1
speed up CI
Diffstat (limited to 'tests/dump-db.sh')
0 files changed, 0 insertions, 0 deletions