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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, stable)
18m 16s
build-and-test (macos-latest, stable)
14m 4s
32m 20s