Skip to content

Merge pull request #242 from shaeroni/master #24

Merge pull request #242 from shaeroni/master

Merge pull request #242 from shaeroni/master #24

Triggered via push April 5, 2024 15:38
Status Success
Total duration 6m 6s
Artifacts 5
pretext_build
3m 6s
pretext_build
build_website
8s
build_website
deploy_to_github_pages
18s
deploy_to_github_pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
12.4 MB
textbook Expired
5.4 MB
textbook-pretext Expired
186 KB
textbook-pretext-output Expired
1.41 MB
website Expired
12.7 MB