Skip to content
Check code format

Merge pull request #1082 from sosy-lab/add-nacpa-ti-module #7

Sign in to view logs

Merge pull request #1082 from sosy-lab/add-nacpa-ti-module

Merge pull request #1082 from sosy-lab/add-nacpa-ti-module #7

Triggered via push October 20, 2024 15:43
@vesalvojdanivesalvojdani
pushed c5d0d92
main
Status Success
Total duration 22s
Artifacts –

black.yml

on: push
check
10s
check
Fit to window
Zoom out
Zoom in