Skip to content
Code Formatting

Make all SMT-LIB variables start with $ #553

Sign in to view logs

Make all SMT-LIB variables start with $

Make all SMT-LIB variables start with $ #553

Triggered via push March 13, 2025 07:22
@math-fehrmath-fehr
pushed d5ded75
main
Status Failure
Total duration 20s
Artifacts –

code-formatting.yml

on: push
Matrix: code-formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
code-formatting (3.10)
Process completed with exit code 1.