Skip to content
Pytest

fix duplicate theorem count #55

Sign in to view logs

fix duplicate theorem count

fix duplicate theorem count #55

Triggered via push December 30, 2025 13:18
@durant42040durant42040
pushed 404d7eb
main
Status Success
Total duration 2m 24s
Artifacts –

pytest.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in