Kind2 CI

Fix evaluation of Gte and Gt in new frontend #1219

Sign in to view logs

Triggered via pull request October 5, 2023 17:27

opened #1019

daniel-larraz:fix-gte-gt-eval

Status Success

Total duration 14m 3s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kind2-ci.yml

on: pull_request

Matrix: kind2-build