Skip to content

When a pattern variable is defined on only one side of a disjunction, #6

When a pattern variable is defined on only one side of a disjunction,

When a pattern variable is defined on only one side of a disjunction, #6

Triggered via pull request December 19, 2023 22:26
Status Success
Total duration 13s
Artifacts

previews-cleanup.yml

on: pull_request
doc-preview-cleanup
3s
doc-preview-cleanup
Fit to window
Zoom out
Zoom in