Skip to content
Code style tests

Issue1128 #1139

Sign in to view logs

Issue1128

Issue1128 #1139

Triggered via pull request December 19, 2023 15:51
@ClemensBuechnerClemensBuechner
opened #200
ClemensBuechner:cegar-pdbs-all-goals
Status Success
Total duration 4m 45s
Artifacts –

style.yml

on: pull_request
Test code style
4m 33s
Test code style
Fit to window
Zoom out
Zoom in