CI: update

2023-07-24 14:47:32 +02:00
parent fc4dcd46db
commit 161d20e614
5 changed files with 73 additions and 28 deletions
@@ -48,6 +48,7 @@ Packer::~Packer() noexcept {
    // owner
    owner_delete(uip);
    owner_delete(linker);
+    assert_noexcept(linker == nullptr);
    // references
    bele = nullptr;
    fi = nullptr;