Closed sim642 closed 5 months ago
Follow-up to https://github.com/goblint/analyzer/pull/1295, which removed the outdated versions from Goblint's repository. This adds updated versions here instead.
Notably, this runs Goblint Validator, which we should do regularly to also monitor its state.
Follow-up to https://github.com/goblint/analyzer/pull/1295, which removed the outdated versions from Goblint's repository. This adds updated versions here instead.
Notably, this runs Goblint Validator, which we should do regularly to also monitor its state.