Skip to content
Lint

Add tips that nudge users to better use of Dodona #8966

Sign in to view logs

Add tips that nudge users to better use of Dodona

Add tips that nudge users to better use of Dodona #8966

Triggered via pull request February 28, 2024 15:15
@jorg-vrjorg-vr
synchronize #5386
feat/nudge-users
Status Success
Total duration 32s
Artifacts –

lint.yml

on: pull_request
Lint Ruby
21s
Lint Ruby
Lint JavaScript
23s
Lint JavaScript
Lint CSS
16s
Lint CSS
Fit to window
Zoom out
Zoom in