Skip to content
Ruff

SV-COMP 25 Hornix tool #721

Sign in to view logs

SV-COMP 25 Hornix tool

SV-COMP 25 Hornix tool #721

Triggered via pull request October 21, 2024 07:09
@blishkoblishko
synchronize #1085
jankofron:hornix
Status Success
Total duration 17s
Artifacts –

ruff.yml

on: pull_request
check
6s
check
Fit to window
Zoom out
Zoom in