Skip to content
ProjectStructure

Added-> DisjointUnion Set by Size #759

Sign in to view logs

Added-> DisjointUnion Set by Size

Added-> DisjointUnion Set by Size #759

Triggered via pull request September 3, 2025 17:00
@DenizAltunkapanDenizAltunkapan
synchronize #6514
TIWARIPRIYANSH:feature/disjoint-union-size
Status Success
Total duration 7s
Artifacts –

project_structure.yml

on: pull_request
check_structure
3s
check_structure
Fit to window
Zoom out
Zoom in