GitHub repository: AlexanderEichler/goblint-analysis-action
Primary language: JavaScript
Created: 2021-08-28T15:58:20Z
Description: Github Action for the Goblint analyzer