Skip to content
CodeQuality

Fix line number alignment in SMT interface #2915

Sign in to view logs

Fix line number alignment in SMT interface

Fix line number alignment in SMT interface #2915

Triggered via pull request February 20, 2025 13:23
@BookWood7thBookWood7th
synchronize #3559
WolframPfeifer:SMT_lineNumbers
Status Success
Total duration 8m 9s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
2m 1s
checkerFramework
formatting
56s
formatting
Fit to window
Zoom out
Zoom in