build and run tests

Merge pull request #217 from goblint/overflow-mod #907

Sign in to view logs

Triggered via push February 4, 2026 08:40

sim642

develop

Status Success

Total duration 21m 38s

Artifacts –

tests.yml

on: push

Matrix: tests