Skip to content
Snippets Groups Projects

Remove redundant expression typing rules for nat/unit/bool.

Passed
iris-dev created pipeline for commit 79cb9880
, finished
For master
Scheduled
1 job 21 minutes 59 seconds, queued for 18 seconds