Skip to content

Merge pull request #1093 from daniel-larraz/poly-type-dep #523

Merge pull request #1093 from daniel-larraz/poly-type-dep

Merge pull request #1093 from daniel-larraz/poly-type-dep #523

Triggered via push August 28, 2024 22:37
Status Success
Total duration 10m 39s
Artifacts 3

kind2-ci.yml

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

Artifacts

Produced during runtime
Name Size
kind2-macos-12
2.93 MB
kind2-macos-14
3.3 MB
kind2-ubuntu-20.04
4.48 MB