Skip to content

Use match() instead of switch/case. #557

Use match() instead of switch/case.

Use match() instead of switch/case. #557

Triggered via pull request October 29, 2025 16:07
Status Success
Total duration 32s
Artifacts

ci.yml

on: pull_request
cs-stan  /  Coding Standard & Static Analysis
26s
cs-stan / Coding Standard & Static Analysis
Matrix: testsuite / testsuite-linux
Fit to window
Zoom out
Zoom in