Skip to content

Add plugins from external repositories. #1030

Add plugins from external repositories.

Add plugins from external repositories. #1030

build (ubuntu-20.04, 3.13)

succeeded Jan 25, 2025 in 6m 45s
Set up job
1s
Build ammaraskar/sphinx-action@master
9s
Run actions/checkout@v4
1s
Run actions/setup-node@v4
0s
Set up Python 3.13
12s
Install dependencies
17s
Remove broken apt repos [Ubuntu]
0s
Install tools (Linux)
2m 8s
Install clang tools (for unit tests)
0s
Install Hadolint binary (github)
0s
Install Hadolint docker image (Linux)
11s
Install node tools
26s
Test with mypy
2s
Statick markdown
6s
Sphinx lint
2s
Test with tox
1m 56s
Upload coverage to Codecov
5s
Self check
57s
Post Set up Python 3.13
0s
Post Run actions/setup-node@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s