CUDD Release 4.0 · cuddorg/cudd@61c4aed

Triggered via pull request November 21, 2025 18:12

doganulus

synchronize #28

4.0.0

Status Success

Total duration 2m 1s

Artifacts 1

test_coverage.yml

on: pull_request

Produced during runtime

Name	Size	Digest
coverage-report Expired	1.4 MB	`sha256:bfbd45f5eb08519b825e7d1405b929446c7f46c0a44569d9704a901fa27c259d`