Skip to content
Build

Get rid of *.toc files (#65) #133

Sign in to view logs

Get rid of *.toc files (#65)

Get rid of *.toc files (#65) #133

Triggered via push October 30, 2025 14:49
@aobolenskaobolensk
pushed a3b550d
main
Status Success
Total duration 15m 5s
Artifacts 4

build.yml

on: push
ubuntu-build
11m 1s
ubuntu-build
macos-build
8m 10s
macos-build
deploy-to-github-pages
15s
deploy-to-github-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.4 MB
sha256:9fc98477461776f281072f46838ef65507bb1282a4143d1b98255b2f14312399
html
917 Bytes
sha256:2ff508ef46eed9f6483d120d130756f09329b40a35873b8a6fc2b87ebfd20879
pdf-linux
2.4 MB
sha256:44cd297268a3680506405bd527aeb085590d530427b646cc39f1c0c4f446c6b3
pdf-macos
2.41 MB
sha256:3018cf41e6a415b85b337f9b92e2f424e32a7f6bcef75c585175bd01b29121d6