goblint/action

GitHub action for analyzing C code using Goblint