Skip to content
Check code format

Merge pull request #1150 from sosy-lab/Po-Chun-Chien-patch-1 #1076

Sign in to view logs

Merge pull request #1150 from sosy-lab/Po-Chun-Chien-patch-1

Merge pull request #1150 from sosy-lab/Po-Chun-Chien-patch-1 #1076

Triggered via push February 14, 2025 13:45
@PhilippWendlerPhilippWendler
pushed 44aee23
main
Status Success
Total duration 21s
Artifacts –

black.yml

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