Skip to content
Lint

Merge pull request #71 from serlo/dependabot/pip/pylint-3.1.1 #206

Sign in to view logs

Merge pull request #71 from serlo/dependabot/pip/pylint-3.1.1

Merge pull request #71 from serlo/dependabot/pip/pylint-3.1.1 #206

Triggered via push May 14, 2024 06:47
@github-merge-queuegithub-merge-queue[bot]
pushed d320b91
main
Status Success
Total duration 27s
Artifacts –

lint.yml

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