Skip to content
Kind2 CI

Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract #1582

Sign in to view logs

Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract

Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract #1582

Triggered via push November 15, 2024 19:39
@daniel-larrazdaniel-larraz
pushed 77596fe
develop
Status Success
Total duration 13m 52s
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
kind2-ubuntu-20.04
4.48 MB