Skip to content

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

Use match() instead of switch/case.

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

Triggered via pull request October 30, 2025 06:43
Status Success
Total duration 33s
Artifacts

ci.yml

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