Skip to content
Continuous integration

adding array constructor to subsumption rule #5523

Sign in to view logs

adding array constructor to subsumption rule

adding array constructor to subsumption rule #5523

Triggered via pull request July 17, 2024 11:34
@EckaosEckaos
synchronize #1991
Eckaos:subtyping/constructor
Status Success
Total duration 18m 28s
Artifacts –

continuous-integration.yml

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