make sure destructors of derived classes are virtual #83

Triggered via push September 9, 2024 17:23

trunk

Status Success

Total duration 3m 23s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	2.04 MB