search

softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Various tidy ups. #114

Closed vext01 closed 4 years ago

vext01 commented 4 years ago

A miscellaneous bag of minor annoyances fixed. See commit messages.

Companion PR coming: https://github.com/softdevteam/yk/pull/90

I also considered deleting software tracing, as it's dead and bit-rotted. Opted not to just yet.

ptersilie commented 4 years ago

One comment.

vext01 commented 4 years ago

Fixed. If that looks good, I'll do priming.

ptersilie commented 4 years ago

One minor comment. But you can prime after that!

vext01 commented 4 years ago

Priming...

bors try

bors[bot] commented 4 years ago

try

Build succeeded:

vext01 commented 4 years ago

priming reverted, ready for bors.

ptersilie commented 4 years ago

bors r+

vext01 commented 4 years ago

Something odd happened here. Perhaps an out of date lock file. Investigating...

vext01 commented 4 years ago

bors try

bors[bot] commented 4 years ago

try

Build succeeded:

vext01 commented 4 years ago

OK to squash that in?

ltratt commented 4 years ago

Please squash.

vext01 commented 4 years ago

splat.

ltratt commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build succeeded: