Skip to content

🔖 release 3.1.1 - #123

Merged
ff137 merged 1 commit into
mainfrom
ops/release-3-1-1
Sep 14, 2026
Merged

🔖 release 3.1.1#123
ff137 merged 1 commit into
mainfrom
ops/release-3-1-1

Conversation

@ff137

@ff137 ff137 commented Sep 14, 2026

Copy link
Copy Markdown
Collaborator

Indicator primitives refuse non-finite derived arithmetic; this is a patch because ordinary formulas and identities are unchanged.

Indicator primitives refuse non-finite derived arithmetic; this is a patch because ordinary formulas and identities are unchanged.
@codacy-production

codacy-production Bot commented Sep 14, 2026

Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Metrics 0 complexity · 0 duplication

Metric Results
Complexity 0
Duplication 0

View in Codacy

🟢 Coverage ∅ diff coverage · +0.00% coverage variation

Metric Results
Coverage variation +0.00% coverage variation (-1.00%)
Diff coverage diff coverage

View coverage diff in Codacy

Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (4650cdb) 2925 2925 100.00%
Head commit (0d515cf) 2925 (+0) 2925 (+0) 100.00% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#123) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.

@ff137
ff137 merged commit e338c74 into main Sep 14, 2026
19 checks passed
@ff137
ff137 deleted the ops/release-3-1-1 branch September 14, 2026 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant