Skip to content

chore: remove special dash (use ASCII dash) #369

chore: remove special dash (use ASCII dash)

chore: remove special dash (use ASCII dash) #369

Triggered via push December 29, 2024 19:21
Status Success
Total duration 4m 1s
Artifacts 2

ci.yml

on: push
Compile document
3m 34s
Compile document
Spellcheck
7s
Spellcheck
Deploy to GitHub Pages
10s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Spellcheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compile document
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compile document
Cache save failed.
Deploy to GitHub Pages
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
Napkin.pdf
7.86 MB
github-pages Expired
38.1 MB