Skip to content

Do we need to set user? #291

Do we need to set user?

Do we need to set user? #291

Triggered via push March 4, 2024 10:33
Status Success
Total duration 55s
Artifacts

autofix.yaml

on: push
autofix  /  Project metadata
20s
autofix / Project metadata
autofix  /  Does .gitignore exist?
5s
autofix / Does .gitignore exist?
autofix  /  Format Markdown
31s
autofix / Format Markdown
autofix  /  Format JSON
10s
autofix / Format JSON
autofix  /  Format Python
17s
autofix / Format Python
autofix  /  Update .gitignore
0s
autofix / Update .gitignore
Fit to window
Zoom out
Zoom in