Skip to content
Kind2 CI

Merge pull request #1070 from lorchrob/imp-node-contract-realizability #1447

Sign in to view logs

Merge pull request #1070 from lorchrob/imp-node-contract-realizability

Merge pull request #1070 from lorchrob/imp-node-contract-realizability #1447

Triggered via push May 9, 2024 21:13
@daniel-larrazdaniel-larraz
pushed 5ad2756
develop
Status Success
Total duration 13m 40s
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.86 MB
kind2-macos-14
3.16 MB
kind2-ubuntu-20.04
4.33 MB