Skip to content
GitLab

Use new getters for properties/invariant/assertions in :check

1 job for master in 2 minutes and 2 seconds (queued for 2 seconds)
b3a5138b
No related merge requests found.