search

imkiva / valheim

Just for fun riscv64 emulator, which boots the Linux.
41 stars 0 forks source link

Say hello to BORS #1

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

Files are copied and adapted from https://github.com/aya-prover/aya-dev

imkiva commented 2 years ago

bors merge

imkiva commented 2 years ago

Same problem.

Why is it taking forever?

Originally posted by @ice1000 in https://github.com/aya-prover/aya-vscode/issues/10#issuecomment-946291265

imkiva commented 2 years ago

image

where's gradle in these copied files?

bors[bot] commented 2 years ago

Canceled.

imkiva commented 2 years ago

bors cancel

imkiva commented 2 years ago

bors merge

bors[bot] commented 2 years ago

Build succeeded:

imkiva commented 2 years ago

Build succeeded:

Thanks!

ice1000 commented 2 years ago

Build succeeded:

Thanks!

LMAO

imkiva commented 2 years ago

Build succeeded:

Thanks!

LMAO

经 典 复 刻