Skip to content

Rename website

Rename website #1174

Triggered via push October 31, 2025 13:05
Status Success
Total duration 5m 2s
Artifacts 9
list-branches
9s
list-branches
Matrix: build-compat-pages
combine-pages-and-deploy
20s
combine-pages-and-deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
data-view-clamped-stage-2
665 KB
sha256:f2fed99423bbddc64473200eab92d1f84d97874cea770b9c77e032f0791215ec
github-pages Expired
4.69 MB
sha256:9e417c0199931ca904696bc080b0f500983e0ae21855451009ad3dcfc1fe117b
master
673 KB
sha256:9a0e796e9567482182a002363120f1a2cf353a7df24497f73cdfb10b20444f33
proposals-types
567 KB
sha256:be829f06998389f47260f04c3cfcc3df600d1c4805f35b761c61f20c101783d4
v3
427 KB
sha256:a8f8ad05898adf6fa8e11bf5568d302ead6db4a3e70e73c17424073405e73522
v4
572 KB
sha256:97ca2294733c692dfab1f5316d0d9bbb762d849f2f8c9d9f922f2be0f125a18d
v4-types
574 KB
sha256:9ad0fe34cb0ffb4df597edc86939ea2d98cb59fcf2c6c86cc3970dd3d4d78006
web
566 KB
sha256:11ea072c571ea44506a7e74dd47b2dbdc3ad6601d6f6aab8b78bb3ff246ea2af
website
772 KB
sha256:d24399936ac75b0e73bdea9253251fd5f2c9ef42355c2dbece3b181b05a4725d