Skip to content

Remove unused xml lib, update catch2 - #21

Merged
johguenther merged 2 commits into
develfrom
guj/devel
Sep 9, 2026
Merged

johguenther merged 2 commits into
develfrom
guj/devel

Update Catch2 to v3.16, no longer in-source

d191ca4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-ubuntu-2204
succeeded Sep 9, 2026 in 1m 34s