Skip to content
Kind2 CI

Merge pull request #1074 from daniel-larraz/mult-two-polys-error #1477

Sign in to view logs

Merge pull request #1074 from daniel-larraz/mult-two-polys-error

Merge pull request #1074 from daniel-larraz/mult-two-polys-error #1477

Triggered via push June 5, 2024 23:13
@daniel-larrazdaniel-larraz
pushed c0c1302
develop
Status Success
Total duration 9m 30s
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 Expired
2.87 MB
kind2-macos-14 Expired
3.22 MB
kind2-ubuntu-20.04 Expired
4.4 MB