add pylint #15
mg
commented 2024-05-08 14:49:10 +02:00
Owner
No description provided.
mg
added 7 commits 2024-05-08 14:49:10 +02:00
ci: fix
d688b8fd77
ff
4ae1201777
Some checks failed
ci/woodpecker/push/lint Pipeline failed
Details
ci/woodpecker/push/build unknown status
Details
f
fb9d6985a6
Some checks failed
ci/woodpecker/push/lint Pipeline failed
Details
ci/woodpecker/push/build unknown status
Details
c
2078d6896a
Some checks failed
ci/woodpecker/push/lint Pipeline failed
Details
ci/woodpecker/push/build unknown status
Details
d
5bdf47c3dc
Some checks failed
ci/woodpecker/push/lint Pipeline failed
Details
ci/woodpecker/push/build unknown status
Details
d
0c0c0f72a5
Some checks failed
ci/woodpecker/push/lint Pipeline failed
Details
ci/woodpecker/push/build unknown status
Details
set i
fbfa7cc04c
All checks were successful
ci/woodpecker/push/lint Pipeline was successful
Details
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/pull_request_closed/lint Pipeline was successful
Details
ci/woodpecker/pull_request_closed/build Pipeline was successful
Details
ci/woodpecker/pr/lint Pipeline was successful
Details
ci/woodpecker/pr/build Pipeline was successful
Details
mg
merged commit 9c90091625 into master 2024-05-08 14:49:20 +02:00
mg
referenced this pull request from a commit 2024-05-08 14:49:22 +02:00
add pylint (#15)
Loading…
Reference in a new issue
No description provided.
Delete branch "ci"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?