feat: add User module (closes #46)
All checks were successful
CI / linux (pull_request) Successful in 2m1s
feat: appRunning condition and systemPackages DSL support
All checks were successful
CI / linux (pull_request) Successful in 1m7s
fix(builder): reject second when in same profile
Some checks failed
CI / linux (pull_request) Failing after 1m5s
ux: human-readable diagnostics (issue #32)
All checks were successful
CI / linux (pull_request) Successful in 4m41s
refactor(condition): delegate strategy attachment to IR
All checks were successful
CI / linux (pull_request) Successful in 2m59s
feature/issue-34-service-base-state
All checks were successful
CI / linux (pull_request) Successful in 3m15s
refactor/issue-26-set-conflict-detection
All checks were successful
CI / linux (pull_request) Successful in 2m33s
refactor(builder): unify builders with StateT
All checks were successful
CI / linux (pull_request) Successful in 1m41s
feat(validate): add mutuallyExclusive for static conditional-profile conflict checks
All checks were successful
CI / linux (pull_request) Successful in 3m15s
feat(compile): add DSL.Compile entry point
All checks were successful
CI / linux (pull_request) Successful in 2m27s
feat(validate): expose ToJSON on ValidatedIR
All checks were successful
CI / linux (pull_request) Successful in 2m13s
feat: semantic validation and conflict detection (#11)
All checks were successful
CI / linux (pull_request) Successful in 2m41s
feat/condition-composition-observation-strategies
All checks were successful
CI / linux (pull_request) Successful in 2m26s
feat(ir): implement core IR document and closed domain sums
Some checks failed
CI / linux (pull_request) Has been cancelled