Skip to content

Add Makefile commands for building and serving documentation #438

Add Makefile commands for building and serving documentation

Add Makefile commands for building and serving documentation #438

Triggered via push December 19, 2025 11:36
Status Cancelled
Total duration 1m 19s
Artifacts
Matrix: Test Python code
Lint Python code
0s
Lint Python code
Verify static typing
0s
Verify static typing
Detect dead code
1m 18s
Detect dead code
Build release candidate
0s
Build release candidate
PyPI release
PyPI release
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Detect dead code
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Lint Python code
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Test Python code (3.11)
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Test Python code (3.13)
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Verify static typing
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Test Python code (3.14)
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Test Python code (3.12)
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists
Continuous deployment
Canceling since a higher priority waiting request for Continuous deployment-refs/heads/main exists