aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Struct WIP

Open mio-19 opened this issue 2 years ago • 2 comments

resolves https://github.com/aya-prover/aya-dev/issues/386

mio-19 avatar Jun 30 '22 12:06 mio-19

image

Please rebase your branch when pulling from origin. This can be done by git pull -r or git pull --rebase.

imkiva avatar Jul 27 '22 11:07 imkiva

@imkiva ok

mio-19 avatar Jul 27 '22 11:07 mio-19