Skip to content

Merge pull request #2797 from nicolossus/port_issue_211 #197

Merge pull request #2797 from nicolossus/port_issue_211

Merge pull request #2797 from nicolossus/port_issue_211 #197

Triggered via push August 30, 2023 10:24
Status Success
Total duration 49s
Artifacts

hifis-push.yml

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