Build

Add missing `case` #4199

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request November 19, 2025 09:43

Philippus

opened #3234

add-missing-case

Status Success

Total duration 5m 10s

Artifacts –

build.yml

on: pull_request