apply-code-format · Workflow runs · moves-rwth/storm · GitHub

Actions

apply-code-format

Actions

Loading...
Loading

formatapply.yml

4 workflow runs

4 workflow runs

apply-code-format apply-code-format #11: Manually run by volkm

September 4, 2024 18:59

40s master

September 4, 2024 18:59

40s

apply-code-format apply-code-format #10: Manually run by volkm

August 12, 2024 11:02

42s master

August 12, 2024 11:02

42s

apply-code-format apply-code-format #9: Manually run by tquatmann

February 20, 2024 09:54

25m 47s master

February 20, 2024 09:54

25m 47s

apply-code-format apply-code-format #8: Manually run by tquatmann

November 23, 2023 09:23

46s master

November 23, 2023 09:23

46s