Skip to content
Lint

Merge pull request #40 from serlo/dependabot/pip/pylint-2.17.6 #86

Sign in to view logs

Merge pull request #40 from serlo/dependabot/pip/pylint-2.17.6

Merge pull request #40 from serlo/dependabot/pip/pylint-2.17.6 #86

Triggered via push September 26, 2023 08:18
@github-merge-queuegithub-merge-queue[bot]
pushed 58f7cd3
main
Status Success
Total duration 34s
Artifacts –

lint.yml

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