Merge pull request #1019 from daniel-larraz/fix-gte-gt-eval · daniel-larraz/kind2@57cd0f7

Re-run triggered October 5, 2023 18:51

develop

Status Success

Total duration 14m 15s

Artifacts 2

kind2-ci.yml

on: push

Matrix: kind2-build

Produced during runtime

Name	Size
kind2-macos-11 Expired	9.81 MB
kind2-ubuntu-20.04 Expired	15.1 MB