Skip to content
Kind2 CI

Merge pull request #1037 from daniel-larraz/ic3ia-soundness-bug #458

Sign in to view logs

Merge pull request #1037 from daniel-larraz/ic3ia-soundness-bug

Merge pull request #1037 from daniel-larraz/ic3ia-soundness-bug #458

Triggered via push December 8, 2023 14:34
@daniel-larrazdaniel-larraz
pushed 0b9e881
develop
Status Success
Total duration 22m 11s
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.58 MB
kind2-ubuntu-20.04 Expired
14.7 MB