Skip to content
release

Rewrite for set membership of the powerset of a record where the record has infinite co-domains. #1455

Sign in to view logs

Rewrite for set membership of the powerset of a record where the record has infinite co-domains.

Rewrite for set membership of the powerset of a record where the record has infinite co-domains. #1455

Triggered via pull request August 17, 2024 08:45
@konnovkonnov
closed #2946
lemmy:mku-SubsetRecordInf
Status Skipped
Total duration 2s
Artifacts –

release.yml

on: pull_request
cut-release
0s
cut-release
Fit to window
Zoom out
Zoom in