Skip to content

doc: Update bug issue filter - #3260

Merged
dweindl merged 1 commit into
AMICI-dev:mainfrom
dweindl:doc_bugs
Sep 9, 2026
Merged

doc: Update bug issue filter#3260
dweindl merged 1 commit into
AMICI-dev:mainfrom
dweindl:doc_bugs

Conversation

@dweindl

@dweindl dweindl commented Sep 9, 2026

Copy link
Copy Markdown
Member

Include both, type=bug and label=bug issues in filter. Nonetheless, I'll change the current bug issues from label to type.

Include both, type=bug and label=bug issues in filter.
Nonetheless, I'll change the current bug issues from label to type.
@codecov

codecov Bot commented Sep 9, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.97%. Comparing base (3d695c5) to head (ef7516c).

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main    #3260      +/-   ##
==========================================
- Coverage   78.52%   77.97%   -0.56%     
==========================================
  Files         318      318              
  Lines       22199    22199              
  Branches     1490     1490              
==========================================
- Hits        17432    17309     -123     
- Misses       4759     4882     +123     
  Partials        8        8              
Flag Coverage Δ
cpp 72.31% <ø> (+0.01%) ⬆️
cpp_python 35.24% <ø> (ø)
petab 48.44% <ø> (ø)
petab_sciml 16.45% <ø> (ø)
petab_sciml_benchmarks 15.00% <ø> (ø)
python 70.76% <ø> (+<0.01%) ⬆️
sbmlsuite-jax ?

Flags with carried forward coverage won't be shown. Click here to find out more.
see 6 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dweindl
dweindl marked this pull request as ready for review September 9, 2026 16:24
@dweindl
dweindl requested a review from a team as a code owner September 9, 2026 16:24
@dweindl
dweindl enabled auto-merge September 9, 2026 16:24
@dweindl
dweindl added this pull request to the merge queue Sep 9, 2026
Merged via the queue into AMICI-dev:main with commit 4974765 Sep 9, 2026
27 of 28 checks passed
@dweindl
dweindl deleted the doc_bugs branch September 9, 2026 17:23
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.

2 participants