search

softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Move some code to ykpack #168

Closed bjorn3 closed 3 years ago

bjorn3 commented 3 years ago

Accompanying PR to https://github.com/softdevteam/yk/pull/230.

vext01 commented 3 years ago

This LGTM.

Let's wait for the yk side to be merged first.

vext01 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build failed:

vext01 commented 3 years ago

We need to kill the yk-ci I think?

bjorn3 commented 3 years ago

Removed

vext01 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build failed:

vext01 commented 3 years ago

Just rustfmt now

bjorn3 commented 3 years ago

Rustfmt'ed and squashed into 99bf900 to form f0fdd6b. (/me forgot about the squash rule again...)

vext01 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: