Skip to content
Lint

Merge branch 'master' into feature/new-stats-for-everybody #3450

Sign in to view logs

Merge branch 'master' into feature/new-stats-for-everybody

Merge branch 'master' into feature/new-stats-for-everybody #3450

Triggered via push August 26, 2023 15:43
@niladicniladic
pushed 8315dde
feature/new-stats-for-everybody
Status Success
Total duration 3m 19s
Artifacts –

lint.yml

on: push
Scala
3m 10s
Scala
Fit to window
Zoom out
Zoom in