Skip to content
CI

Merge pull request #354 from hoijnet/issue/2284-set-operators #785

Sign in to view logs

Merge pull request #354 from hoijnet/issue/2284-set-operators

Merge pull request #354 from hoijnet/issue/2284-set-operators #785

Triggered via push December 14, 2025 18:19
@hoijnethoijnet
pushed 5cba47b
main
Status Success
Total duration 1m 45s
Artifacts –

ci.yml

on: push
Skip job if already running
7s
Skip job if already running
All checks
1m 33s
All checks
Fit to window
Zoom out
Zoom in