Skip to content
Kind2 CI

Merge pull request #1044 from daniel-larraz/reach-prop-opt #466

Sign in to view logs

Merge pull request #1044 from daniel-larraz/reach-prop-opt

Merge pull request #1044 from daniel-larraz/reach-prop-opt #466

Triggered via push January 16, 2024 00:46
@daniel-larrazdaniel-larraz
pushed 8715737
develop
Status Success
Total duration 12m 26s
Artifacts 2

kind2-ci.yml

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

Artifacts

Produced during runtime
Name Size
kind2-macos-12 Expired
9.59 MB
kind2-ubuntu-20.04 Expired
14.7 MB