Skip to content

Merge pull request #1201 from NicoPennec/fix/ui #125

Merge pull request #1201 from NicoPennec/fix/ui

Merge pull request #1201 from NicoPennec/fix/ui #125

Triggered via push September 25, 2023 14:25
Status Success
Total duration 3m 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release.yml

on: push
Fit to window
Zoom out
Zoom in