Skip to content
options

Make some exception printers lazy, do not use plain CIL printers in messages #6927

Sign in to view logs

Make some exception printers lazy, do not use plain CIL printers in messages

Make some exception printers lazy, do not use plain CIL printers in messages #6927

Triggered via pull request December 14, 2023 10:12
@sim642sim642
opened #1292
plain-cil-printer
Status Success
Total duration 31s
Artifacts –

options.yml

on: pull_request
Matrix: validate-conf
Fit to window
Zoom out
Zoom in