Skip to content
Kind2 CI

Polymorphism #1486

Sign in to view logs

Polymorphism

Polymorphism #1486

Triggered via pull request July 3, 2024 16:39
@lorchroblorchrob
opened #1078
lorchrob:polymorphism
Status Success
Total duration 15m 58s
Artifacts –

kind2-ci.yml

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