Bump external/Catch2 from `3a5cde5` to `47a2c96` (#2834) #1223

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 11, 2023 03:33

github-merge-queue[bot]

main

Status Success

Total duration 32s

Artifacts –

update-docs.yml

on: push