Skip to content

Merge pull request #17 from pllee4/feature-add_disjoint_union_set #175

Merge pull request #17 from pllee4/feature-add_disjoint_union_set

Merge pull request #17 from pllee4/feature-add_disjoint_union_set #175

Triggered via push December 23, 2025 04:11
Status Success
Total duration 2m 32s
Artifacts 1

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
package Expired
20.6 MB
sha256:a6cd7502d530dfd0943522daf572273c767ab1d11b90bc508d6e93ae0d1d833a