We are planning to upgrade GitLab to the latest version this Friday morning. Expect some downtime! (oh, and there are still some GitLab stickers available at the C&CZ office ;-) )

Commit 946848f4 authored by Mart Lubbers's avatar Mart Lubbers

Merge branch 'fully-async-share-trees' into 'master'

Asynchronous share evaluation

Closes #156

See merge request !201
parents fce9cfa0 08ec2877
Pipeline #18767 passed with stage
in 5 minutes and 28 seconds