diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-08 00:54:26 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-08 01:33:00 +0200 |
commit | 52fd7a89473c4b7e18862a5c1f9a2b6715cc41c4 (patch) | |
tree | c823138a799d80763ee801c77f6185695f754839 /.gitignore | |
parent | clang-format: don't break string literals (diff) | |
download | cimple-52fd7a89473c4b7e18862a5c1f9a2b6715cc41c4.tar.gz cimple-52fd7a89473c4b7e18862a5c1f9a2b6715cc41c4.zip |
test: verify that added runs are in the database
And that they're marked as finished. It immediately exposed some
concurrency bugs, so some locking has been fixed.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions