Skip to content
Organization Configuration

Update Giovannis GitHub id from gdegiorgio to gioddiggi #1558

Sign in to view logs

Update Giovannis GitHub id from gdegiorgio to gioddiggi

Update Giovannis GitHub id from gdegiorgio to gioddiggi #1558

Triggered via pull request October 9, 2025 13:45
@beeme1mrbeeme1mr
opened #489
update-giovannis-gh-id
Status Success
Total duration 28m 22s
Artifacts –

peribolos.yaml

on: pull_request
build
26m 31s
build
Fit to window
Zoom out
Zoom in