Skip to content
Lint Code Base

Merge pull request #139 from ps-tuebingen/prettyprint-function-arrows #710

Sign in to view logs

Merge pull request #139 from ps-tuebingen/prettyprint-function-arrows

Merge pull request #139 from ps-tuebingen/prettyprint-function-arrows #710

Triggered via push September 20, 2023 16:58
@BinderDavidBinderDavid
pushed 18df6cb
main
Status Success
Total duration 1m 51s
Artifacts –

lint.yml

on: push
Lint Code Base
1m 38s
Lint Code Base
Fit to window
Zoom out
Zoom in