Skip to content

DOC: fix formatting of shell commands #145395

DOC: fix formatting of shell commands

DOC: fix formatting of shell commands #145395

Triggered via pull request March 15, 2025 17:08
Status Success
Total duration 5m 17s
Artifacts

build.yml

on: pull_request
Change detection  /  Create context from changed files
11s
Change detection / Create context from changed files
Matrix: Address sanitizer
Matrix: build-macos
Waiting for pending jobs
Matrix: build-tsan
Waiting for pending jobs
Matrix: Ubuntu SSL tests with OpenSSL
Matrix: build-ubuntu
Waiting for pending jobs
Matrix: build-windows-msi
Waiting for pending jobs
Matrix: build-windows
Waiting for pending jobs
Matrix: CIFuzz
Docs  /  Docs
1m 38s
Docs / Docs
Docs  /  Doctest
4m 42s
Docs / Doctest
Check if Autoconf files are up to date
0s
Check if Autoconf files are up to date
Check if generated files are up to date
0s
Check if generated files are up to date
Hypothesis tests on Ubuntu
0s
Hypothesis tests on Ubuntu
Cross build Linux
0s
Cross build Linux
WASI  /  build and test
WASI / build and test
All required checks pass
2s
All required checks pass
Fit to window
Zoom out
Zoom in

Annotations

1 error
Docs / Docs
Process completed with exit code 2.