Skip to content
Lint

Merge pull request #4111 from shaedrich/openapi #3091

Sign in to view logs

Merge pull request #4111 from shaedrich/openapi

Merge pull request #4111 from shaedrich/openapi #3091

Triggered via push December 20, 2023 17:23
@github-merge-queuegithub-merge-queue[bot]
pushed 89801e9
main
Status Success
Total duration 22s
Artifacts –

lint.yml

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