Move special printing macros to PrettyPrinting
#1880
Triggered via pull request
February 2, 2024 11:21
Status
Cancelled
Total duration
11m 18s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
55s
Matrix: test-oscar
Annotations
4 errors and 5 warnings