Skip to content
Back to pull request #1717

[Skip CI] Changing part number in user manual #967

Sign in to view logs

[Skip CI] Changing part number in user manual

[Skip CI] Changing part number in user manual #967

Triggered via pull request December 18, 2023 14:43
@jquevremontjquevremont
opened #1717
jquevremont:jquevremont-update_part_number
Status Success
Total duration 41s
Artifacts –

bender-up-to-date.yml

on: pull_request
bender-up-to-date
31s
bender-up-to-date
Fit to window
Zoom out
Zoom in