Skip to content

Merge pull request #2807 from nicolossus/port_issue_1366 #157

Merge pull request #2807 from nicolossus/port_issue_1366

Merge pull request #2807 from nicolossus/port_issue_1366 #157

Triggered via push August 7, 2023 14:01
Status Success
Total duration 47s
Artifacts

hifis-push.yml

on: push
sync_to_jsc
35s
sync_to_jsc
Fit to window
Zoom out
Zoom in