Skip to content
CodeQuality

Use a custom Github action for setting up the SMT solvers #2987

Sign in to view logs

Use a custom Github action for setting up the SMT solvers

Use a custom Github action for setting up the SMT solvers #2987

Triggered via pull request February 28, 2025 14:36
@wadoonwadoon
synchronize #3569
weigl/cleanup/dlsmt
Status Failure
Total duration 2m 1s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
1m 52s
checkerFramework
formatting
41s
formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
formatting
Process completed with exit code 1.