Skip to content

Comments

Configure git and upgrade mike#7

Merged
famura merged 1 commit intomainfrom
fix/remove_docs_workflow
Nov 17, 2025
Merged

Configure git and upgrade mike#7
famura merged 1 commit intomainfrom
fix/remove_docs_workflow

Conversation

@famura
Copy link
Owner

@famura famura commented Nov 17, 2025

The workflow was failing because of a missing git user

@famura famura self-assigned this Nov 17, 2025
@famura famura added the fix label Nov 17, 2025
@github-actions
Copy link
Contributor

Coverage

Coverage Report
FileStmtsMissCoverMissing
__init__.py20100% 
binned_logit_cdf.py127298%93, 295
TOTAL129298% 

Tests Skipped Failures Errors Time
288 130 💤 0 ❌ 0 🔥 9.878s ⏱️

@famura famura merged commit 7ffce1f into main Nov 17, 2025
3 checks passed
@famura famura deleted the fix/remove_docs_workflow branch November 17, 2025 15:29
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