Skip to content
Kind2 CI

Merge pull request #1105 from daniel-larraz/any-undeclared-type #1574

Sign in to view logs

Merge pull request #1105 from daniel-larraz/any-undeclared-type

Merge pull request #1105 from daniel-larraz/any-undeclared-type #1574

Re-run triggered October 4, 2024 11:40
@daniel-larrazdaniel-larraz
9e815c4
develop
Status Success
Total duration 10m 55s
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-13
2.92 MB
kind2-macos-14
3.3 MB