check-code-format

Part of a fix for a double free issue in StormPy #985

Sign in to view logs

Triggered via pull request September 20, 2024 11:57

synchronize #623

TheGreatfpmK:saynt-fix

Status Success

Total duration 26s

Artifacts –

formatcheck.yml

on: pull_request