Check formatting

Fixed z3 dependency #234

Sign in to view logs

Triggered via push September 10, 2023 16:33

xcfa-refactor

Status Success

Total duration 1m 56s

Artifacts –

check-formatting.yml

on: push

check-formatting