Skip to content

Move now-working boxed dyn trait test#211

Merged
danielsn merged 2 commits into
model-checking:main-152-2021-06-07from
avanhatt:boxed-trait
Jun 16, 2021
Merged

Move now-working boxed dyn trait test#211
danielsn merged 2 commits into
model-checking:main-152-2021-06-07from
avanhatt:boxed-trait

_fail test, fix comments

9f38332
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs