Skip to content
Main

chore: update Discord URL across the repository #3126

Sign in to view logs

chore: update Discord URL across the repository

chore: update Discord URL across the repository #3126

Triggered via pull request December 22, 2024 00:47
@michaelgiraldomichaelgiraldo
opened #944
michaelgiraldo:master
Status Success
Total duration 23m 42s
Artifacts –

main.yml

on: pull_request
main-build
23m 33s
main-build
main-lint
2m 10s
main-lint
main-check
37s
main-check
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
main-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
main-lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
main-lint: src/theme/Navbar/Content/index.tsx#L16
Unexpected 'todo' comment: 'TODO temporary casting until ThemeConfig...'
main-lint: src/theme/Navbar/Content/index.tsx#L70
Unexpected 'todo' comment: 'TODO stop hardcoding items?'
main-lint: src/theme/Navbar/Content/index.tsx#L78
Unexpected 'todo' comment: 'TODO stop hardcoding items?'
main-build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636