Skip to content
Linters

maint: Use Catch2 instead of doctest #8717

Sign in to view logs

maint: Use Catch2 instead of doctest

maint: Use Catch2 instead of doctest #8717

Triggered via pull request November 21, 2024 10:29
@mathbunnyrumathbunnyru
synchronize #3618
mathbunnyru:catch2_ext
Status Success
Total duration 1m 7s
Artifacts –

linters.yml

on: pull_request
build
58s
build
Fit to window
Zoom out
Zoom in