Skip to content
Lint

Merge pull request #57 from serlo/dependabot/github_actions/actions/d… #145

Sign in to view logs

Merge pull request #57 from serlo/dependabot/github_actions/actions/d…

Merge pull request #57 from serlo/dependabot/github_actions/actions/d… #145

Triggered via push December 11, 2023 20:41
@github-merge-queuegithub-merge-queue[bot]
pushed 8aac972
main
Status Success
Total duration 32s
Artifacts –

lint.yml

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