Skip to content

Use nicer utf8 characters for diagnostics #1520

Use nicer utf8 characters for diagnostics

Use nicer utf8 characters for diagnostics #1520

Triggered via pull request July 25, 2024 11:13
Status Success
Total duration 2m 34s
Artifacts 1

ci.yaml

on: pull_request
Build the book
4s
Build the book
Matrix: Check Users
Matrix: Test
Matrix: Release
Publish Docs
0s
Publish Docs
test_success
0s
test_success
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
doc-book Expired
1.42 MB