Skip to content
PR Orchestrator - SpecFact CLI

Update openspec enforcement rules #530

Sign in to view logs

Update openspec enforcement rules

Update openspec enforcement rules #530

Triggered via push February 3, 2026 18:45
@djm81djm81
pushed 10fee30
dev
Status Success
Total duration 14m 25s
Artifacts 1

pr-orchestrator.yml

on: push
Detect code changes
5s
Detect code changes
Tests (Python 3.12)
9m 7s
Tests (Python 3.12)
Compatibility (Python 3.11)
2m 29s
Compatibility (Python 3.11)
Type Checking (basedpyright)
1m 16s
Type Checking (basedpyright)
Linting (ruff, pylint)
43s
Linting (ruff, pylint)
Quality Gates (Advisory)
6s
Quality Gates (Advisory)
Contract-First CI
1m 6s
Contract-First CI
CLI Command Validation
1m 3s
CLI Command Validation
Package Validation (uvx/pip)
0s
Package Validation (uvx/pip)
Publish to PyPI
0s
Publish to PyPI
Create GitHub Release
0s
Create GitHub Release
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L719
Type of "get" is partially unknown   Type of "get" is "Overload[(key: Unknown, default: None = None, /) -> (Unknown | None), (key: Unknown, default: Unknown, /) -> Unknown, (key: Unknown, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L716
Type of "update" is partially unknown   Type of "update" is "Overload[(m: SupportsKeysAndGetItem[Unknown, Unknown], /) -> None, (m: SupportsKeysAndGetItem[str, Unknown], /, **kwargs: Unknown) -> None, (m: Iterable[tuple[Unknown, Unknown]], /) -> None, (m: Iterable[tuple[str, Unknown]], /, **kwargs: Unknown) -> None, (**kwargs: Unknown) -> None]" (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L715
Type of "get" is partially unknown   Type of "get" is "Overload[(key: Unknown, default: None = None, /) -> (Unknown | None), (key: Unknown, default: Unknown, /) -> Unknown, (key: Unknown, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L710
Type of "get" is partially unknown   Type of "get" is "Overload[(key: str, default: None = None, /) -> (Unknown | None), (key: str, default: Unknown, /) -> Unknown, (key: str, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L594
Type of "is_dir" is unknown (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L593
Type of "exists" is unknown (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L576
Type of "is_dir" is unknown (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L575
Type of "exists" is unknown (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L552
Type of "get" is partially unknown   Type of "get" is "Overload[(key: Unknown, default: None = None, /) -> (Unknown | None), (key: Unknown, default: Unknown, /) -> Unknown, (key: Unknown, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)
Type Checking (basedpyright): src/specfact_cli/adapters/ado.py#L552
Type of "get" is partially unknown   Type of "get" is "Overload[(key: Unknown, default: None = None, /) -> (Unknown | None), (key: Unknown, default: Unknown, /) -> Unknown, (key: Unknown, default: _T@get, /) -> (Unknown | _T@get)]" (reportUnknownMemberType)

Artifacts

Produced during runtime
Name Size Digest
coverage-reports
137 KB
sha256:2bb271e35a1e72387c5cf98562217e53f41e4d869569908430f74d43c20824cf