Skip to content
Build and check HTML

chore: bump Lean and Verso (#295) #685

Sign in to view logs

chore: bump Lean and Verso (#295)

chore: bump Lean and Verso (#295) #685

Triggered via push February 10, 2025 16:21
@david-christiansendavid-christiansen
pushed 01966a1
main
Status Success
Total duration 13m 51s
Artifacts 1

ci.yml

on: push
Build site and generate HTML
12m 56s
Build site and generate HTML
Deploy release
0s
Deploy release
Check prose
37s
Check prose
Check links
0s
Check links
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build site and generate HTML
Cache not found for keys: Linux-0ce8761e43ffc0eb7e1f935c349ffd2d0e8ff3665c2df57fa1e0233ca3e6df2f-6937923ea0aa09f5a74b3d30af2a254cecd872817bb694a302dde70c6909a515-e5370f185bf00b56633863d9c24fb3241285d9679109795e2abcc48aa83e8095-01966a117de6cac1ccc38b1cfe70320cdf7686cd, Linux-0ce8761e43ffc0eb7e1f935c349ffd2d0e8ff3665c2df57fa1e0233ca3e6df2f-6937923ea0aa09f5a74b3d30af2a254cecd872817bb694a302dde70c6909a515-e5370f185bf00b56633863d9c24fb3241285d9679109795e2abcc48aa83e8095-01966a117de6cac1ccc38b1cfe70320cdf7686cd, Linux-0ce8761e43ffc0eb7e1f935c349ffd2d0e8ff3665c2df57fa1e0233ca3e6df2f-6937923ea0aa09f5a74b3d30af2a254cecd872817bb694a302dde70c6909a515-e5370f185bf00b56633863d9c24fb3241285d9679109795e2abcc48aa83e8095, Linux-0ce8761e43ffc0eb7e1f935c349ffd2d0e8ff3665c2df57fa1e0233ca3e6df2f-6937923ea0aa09f5a74b3d30af2a254cecd872817bb694a302dde70c6909a515-, Linux-0ce8761e43ffc0eb7e1f935c349ffd2d0e8ff3665c2df57fa1e0233ca3e6df2f-

Artifacts

Produced during runtime
Name Size
html
17.3 MB