chore: add catch2 amalgamated files to git tracking

extern/catch2 was covered by the extern/* gitignore pattern without
an exception, causing CI to fail with a missing source file error.
Added !extern/catch2 exception and committed the amalgamated files.
This commit is contained in:
Paul 2026-04-03 18:46:15 +03:00
parent ae596a485a
commit bb2bf38921
3 changed files with 25918 additions and 0 deletions

11811
extern/catch2/catch_amalgamated.cpp vendored Normal file

File diff suppressed because it is too large Load diff