Skip to content
Snippets Groups Projects

Added subtyping rules for swapping send/branch and select/recv

Passed
iris-dev created pipeline for commit ba08e877
, finished
For master
Scheduled
1 job 17 minutes 59 seconds, queued for 808 seconds