diff options
author | Maria Matejka <mq@ucw.cz> | 2022-10-05 16:26:13 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2022-10-05 16:33:34 +0200 |
commit | e1701128bfdc737e04fe4bd4609020d5f93853c6 (patch) | |
tree | f8e31973ff102c888c76cf02f11cb9acad986504 /.gitlab-ci.yml | |
parent | 4d687d7aecb2bc4b695d26418bc761acb1d15c76 (diff) |
Poll errors must also drop a corefile. And we shouldn't run sockets when sockets have changed
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions