Skip to content
Kind2 CI

Merge pull request #1128 from lorchrob/poly-leak #1639

Sign in to view logs

Merge pull request #1128 from lorchrob/poly-leak

Merge pull request #1128 from lorchrob/poly-leak #1639

Triggered via push February 10, 2025 22:28
@daniel-larrazdaniel-larraz
pushed 4287a5c
develop
Status Success
Total duration 8m 51s
Artifacts 4

kind2-ci.yml

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

Artifacts

Produced during runtime
Name Size
kind2-macos-13
2.93 MB
kind2-macos-14
3.32 MB
kind2-ubuntu-24.04-arm
5.99 MB
kind2-ubuntu-latest
4.68 MB