Skip to content
Kind2 CI

Polymorphism #1498

Sign in to view logs

Polymorphism

Polymorphism #1498

Triggered via pull request July 10, 2024 16:50
@lorchroblorchrob
synchronize #1078
lorchrob:polymorphism
Status Success
Total duration 16m 45s
Artifacts –

kind2-ci.yml

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