Skip to content

Merge pull request #29 from gitpod-io/je/pin-github-actions #3

Merge pull request #29 from gitpod-io/je/pin-github-actions

Merge pull request #29 from gitpod-io/je/pin-github-actions #3

Triggered via push December 17, 2025 15:20
Status Success
Total duration 12m 56s
Artifacts
Fit to window
Zoom out
Zoom in