8000 DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution · scikit-learn/scikit-learn@e8c9207 · GitHub
[go: up one dir, main page]
Skip to content
linter

DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution #13469

Sign in to view logs

DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution

DOC redirect to GitHub issues & PR instead of mailing list when it comes to contribution #13469

Triggered via pull request October 30, 2024 15:29
@MarieSacksickMarieSacksick
synchronize #30177
Status Success
Total duration 1m 23s
Artifacts 1

lint.yml

on: pull_request_target
lint
52s
lint
comment
8s
comment
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
lint-log Expired
745 Bytes
sha256:77dd0f796d42596c9fd892fd6232898bbb733300f7fa7a2713ecd61e61426448
0