Skip to content

Extract goblint conf filewatcher to separate class and move refreshGo… #245

Extract goblint conf filewatcher to separate class and move refreshGo…

Extract goblint conf filewatcher to separate class and move refreshGo… #245

Triggered via push January 12, 2024 13:18
Status Success
Total duration 1m 16s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
gobpie-plugin Expired
40.1 MB