Skip to content

fix: WellFounded preprocessing: use dsimp #7953

fix: WellFounded preprocessing: use dsimp

fix: WellFounded preprocessing: use dsimp #7953

Triggered via pull request March 10, 2025 16:41
@nomeatanomeata
labeled #7409
Status Success
Total duration 2m 17s
Artifacts

backport.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Backport
Your repository allows merge commits and rebase merging. However, Backport only supports rebased and merged pull requests with a single commit and squashed and merged pull requests. Consider only allowing squash merging. See https://help.github.com/en/github/administering-a-repository/about-merge-methods-on-github for more information.