Skip to content
Kind2 CI

Fix check of undeclared types in any operators #1573

Sign in to view logs

Fix check of undeclared types in any operators

Fix check of undeclared types in any operators #1573

Re-run triggered October 4, 2024 03:19
@daniel-larrazdaniel-larraz
#1105
daniel-larraz:any-undeclared-type
Status Success
Total duration 13m 51s
Artifacts –

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in