Merge pull request #66 from goblint/messages #243

Triggered via push August 21, 2023 09:49

karoliineh

master

Status Success

Total duration 1m 16s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
gobpie-plugin Expired	40.1 MB