Skip to content

Add options for proof directive title formatting #336

Add options for proof directive title formatting

Add options for proof directive title formatting #336

Triggered via pull request January 21, 2026 13:19
@doudendouden
synchronize #163
title-styling
Status Failure
Total duration 27s
Artifacts

ci.yml

on: pull_request
Matrix: tests
pre-commit
15s
pre-commit
Documentation build
16s
Documentation build
Publish to PyPi
0s
Publish to PyPi
Fit to window
Zoom out
Zoom in

Annotations

5 errors
tests (3.11, >=5,<6)
Process completed with exit code 1.
tests (3.9, >=5,<6)
The strategy configuration was canceled because "tests._3_11___5__6" failed
tests (3.9, >=5,<6)
The operation was canceled.
tests (3.10, >=5,<6)
The strategy configuration was canceled because "tests._3_11___5__6" failed
tests (3.10, >=5,<6)
The operation was canceled.