Check formatting

portfolio data-race fix #533

Sign in to view logs

Triggered via push November 25, 2023 11:41

svcomp24

Status Success

Total duration 1m 26s

Artifacts –

check-formatting.yml

on: push

check-formatting