Skip to content

Merge pull request #2804 from nicolossus/port_issue_1242 #158

Merge pull request #2804 from nicolossus/port_issue_1242

Merge pull request #2804 from nicolossus/port_issue_1242 #158

Triggered via push August 7, 2023 14:09
Status Success
Total duration 42s
Artifacts

hifis-push.yml

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