Skip to content
CI

Use match() instead of switch/case. (#487) #561

Sign in to view logs

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

Use match() instead of switch/case. (#487) #561

Triggered via push October 30, 2025 13:08
@dereuromarkdereuromark
pushed 1e417fd
3.x
Status Success
Total duration 30s
Artifacts –

ci.yml

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