Skip to content

Remove Get_Source_Manager from PrettyPrint #285

Remove Get_Source_Manager from PrettyPrint

Remove Get_Source_Manager from PrettyPrint #285

Triggered via pull request October 13, 2025 20:46
Status Success
Total duration 1m 57s
Artifacts

testsuite.yml

on: pull_request
Matrix: CI
Fit to window
Zoom out
Zoom in