build and run tests

Merge pull request #210 from goblint/github-pages-workflow #890

Sign in to view logs

Triggered via push January 15, 2026 10:37

sim642

develop

Status Success

Total duration 20m 26s

Artifacts –

tests.yml

on: push

Matrix: tests