Skip to content
Kind2 CI

Expand nested types and types of call arguments #1550

Sign in to view logs

Expand nested types and types of call arguments

Expand nested types and types of call arguments #1550

Triggered via pull request August 29, 2024 16:02
@daniel-larrazdaniel-larraz
opened #1095
daniel-larraz:expand-types
Status Success
Total duration 10m 39s
Artifacts –

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in