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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 11s
kind2-build (macos-12)
10m 27s
kind2-build (macos-14)
7m 20s
22m 58s