Skip to content
CI

Merge pull request #552 from dodona-edu/chore/add-diff-to-linter #1047

Sign in to view logs

Merge pull request #552 from dodona-edu/chore/add-diff-to-linter

Merge pull request #552 from dodona-edu/chore/add-diff-to-linter #1047

Triggered via push October 22, 2024 09:39
@jorg-vrjorg-vr
pushed c71f27c
master
Status Success
Total duration 19m 28s
Artifacts –

ci.yml

on: push
test
19m 19s
test
lint
55s
lint
types
39s
types
Fit to window
Zoom out
Zoom in