Skip to content

Revert "attempt to make stan happy" #2582

Revert "attempt to make stan happy"

Revert "attempt to make stan happy" #2582

Triggered via push October 11, 2023 16:12
Status Success
Total duration 3m 26s
Artifacts
Matrix: run / phpstan
Matrix: run / test
Fit to window
Zoom out
Zoom in