Move all tests to `dune runtest` · goblint/analyzer@abcbe8d

Triggered via pull request February 22, 2024 09:48

sim642

synchronize #1367

dune-runtest

Status Success

Total duration 5m 18s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size
github-pages Expired	1.76 MB