Skip to content
Deploy Site

performance: describe the benchmark FPU config #444

Sign in to view logs

performance: describe the benchmark FPU config

performance: describe the benchmark FPU config #444

Triggered via push December 19, 2025 04:18
@lsf37lsf37
pushed ae25e9b
master
Status Success
Total duration 2m 22s
Artifacts 2

site-deploy.yml

on: push
Build site
1m 11s
Build site
Build site (seL4)
1m 11s
Build site (seL4)
Deploy to backup server
28s
Deploy to backup server
Deploy gh_pages branch
1m 6s
Deploy gh_pages branch
Deploy to seL4 server
28s
Deploy to seL4 server
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
site
809 MB
sha256:75a511c5611261ca1111eaba89f95a40d91ab7e9767747cfc361cf7a418ab3f6
site-seL4
809 MB
sha256:4493ca784610a179204224b3884421a03857b27289dbbcd42719f62a9248a0c6