Skip to content
Lint

Merge pull request #16 from serlo/4-add-filter-only-german-content #13

Sign in to view logs

Merge pull request #16 from serlo/4-add-filter-only-german-content

Merge pull request #16 from serlo/4-add-filter-only-german-content #13

Triggered via push August 11, 2023 09:54
@github-merge-queuegithub-merge-queue[bot]
pushed 22b44cf
main
Status Success
Total duration 34s
Artifacts –

lint.yml

on: push
lint
25s
lint
Fit to window
Zoom out
Zoom in