Skip to content
Kind2 CI

Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction #428

Sign in to view logs

Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction

Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction #428

Triggered via push September 18, 2023 20:27
@daniel-larrazdaniel-larraz
pushed 0fa27fb
develop
Status Success
Total duration 15m 24s
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-11 Expired
9.83 MB
kind2-ubuntu-20.04 Expired
15.1 MB