Skip to content

[fix] Moving from Jekyll to Sphinx. RTD theme is safe! #263

[fix] Moving from Jekyll to Sphinx. RTD theme is safe!

[fix] Moving from Jekyll to Sphinx. RTD theme is safe! #263

Triggered via pull request September 6, 2024 12:17
Status Success
Total duration 23s
Artifacts

fast-checks.yml

on: pull_request
Linter on Python code
10s
Linter on Python code
Linter on C code
9s
Linter on C code
Type checking
12s
Type checking
Security checking
8s
Security checking
Check misspellings
13s
Check misspellings
Fit to window
Zoom out
Zoom in