Skip to content

Merge pull request #4249 from serlo/chore/migrate-eslint #834

Merge pull request #4249 from serlo/chore/migrate-eslint

Merge pull request #4249 from serlo/chore/migrate-eslint #834

Triggered via push November 12, 2024 13:52
Status Success
Total duration 1m 28s
Artifacts

editor.yaml

on: push
build-and-publish
1m 16s
build-and-publish
Fit to window
Zoom out
Zoom in