Skip to content
coverage

Organize more common modules into dune libraries #928

Sign in to view logs

Organize more common modules into dune libraries

Organize more common modules into dune libraries #928

Triggered via pull request December 8, 2023 08:29
@sim642sim642
synchronize #1288
goblint-dune-libs-2
Status Success
Total duration 20m 44s
Artifacts 1

coverage.yml

on: pull_request
Matrix: coverage
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result Expired
6.63 MB