Skip to content
Check formatting

Changed some visitor parameters #220

Sign in to view logs

Changed some visitor parameters

Changed some visitor parameters #220

Triggered via push August 5, 2023 11:55
@AdamZsofiAdamZsofi
pushed 5077d3b
btor2-frontend
Status Failure
Total duration 1m 56s
Artifacts –

check-formatting.yml

on: push
check-formatting
1m 46s
check-formatting
Fit to window
Zoom out
Zoom in