Skip to content

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

Use match() instead of switch/case.

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

Triggered via pull request October 30, 2025 13:03
Status Success
Total duration 31s
Artifacts

ci.yml

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