Skip to content
locked

Organize constraint system and value domain modules into dune libraries #9418

Sign in to view logs

Organize constraint system and value domain modules into dune libraries

Organize constraint system and value domain modules into dune libraries #9418

Triggered via pull request December 29, 2023 07:09
@sim642sim642
synchronize #1313
goblint-dune-libs-3
Status Success
Total duration 20m 2s
Artifacts 2

locked.yml

on: pull_request
Matrix: extraction
Matrix: gobview
Matrix: regression
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
suite_result-macos-latest Expired
2.38 MB
suite_result-ubuntu-latest Expired
2.36 MB