Skip to content
Build and deploy website

[GR-76258] Github development workflow improvements and minor website update. #16

Sign in to view logs

[GR-76258] Github development workflow improvements and minor website update.

[GR-76258] Github development workflow improvements and minor website update. #16

Triggered via pull request June 9, 2026 07:10
@graalvmbotgraalvmbot
synchronize #934
agent-shell/improve-devcont-gr-76258
Status Success
Total duration 47s
Artifacts 1

build-website.yml

on: pull_request
build
43s
build
deploy
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.64 MB
sha256:bd87eb6df5fc056b0622107887da753725723757f72fa82fc02e78c2d314aa8b