Skip to content
Kind2 CI

Merge pull request #1097 from daniel-larraz/abstract-enum-variant #1555

Sign in to view logs

Merge pull request #1097 from daniel-larraz/abstract-enum-variant

Merge pull request #1097 from daniel-larraz/abstract-enum-variant #1555

Triggered via push September 3, 2024 21:49
@daniel-larrazdaniel-larraz
pushed f8c54f5
develop
Status Success
Total duration 11m 48s
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.93 MB
kind2-macos-14
3.3 MB
kind2-ubuntu-20.04
4.48 MB