Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Rename Domain.running_domain_count => Domain.count (#14096) (commit: 38897ff) (details)
Commit 38897ff547b2f115d61c21a0a22c57d859a049b2 by noreply
Rename Domain.running_domain_count => Domain.count (#14096)

* Rename Domain.{running_domain_count => count}

* Doc

* Changes
 (commit: 38897ff)
The file was modifiedChanges (diff)
The file was modifiedstdlib/domain.mli (diff)
The file was modifiedstdlib/domain.ml (diff)
The file was modifiedruntime/domain.c (diff)