BORS: welcome to aya - Githubissues

aya-prover / aya-vscode

~ VSCode extension for Aya Prover

GNU General Public License v3.0

7 stars 2 forks source link

BORS: welcome to aya #10

Closed imkiva closed 3 years ago

imkiva commented 3 years ago

bors try

ice1000 commented 3 years ago

@imkiva The CI is not enabled for bors I guess See? No orange circle

imkiva commented 3 years ago

bors try

bors[bot] commented 3 years ago

try

Already running a review

ice1000 commented 3 years ago

bors r-

ice1000 commented 3 years ago

bors r+

ice1000 commented 3 years ago

bors r-

bors[bot] commented 3 years ago

Canceled.

ice1000 commented 3 years ago

bors try

bors[bot] commented 3 years ago

try

Already running a review

ice1000 commented 3 years ago

bors r+

ice1000 commented 3 years ago

Why is it taking forever?

ice1000 commented 3 years ago

So?

ice1000 commented 3 years ago

Why?

ice1000 commented 3 years ago

????

imkiva commented 3 years ago

bors try-

ice1000 commented 3 years ago

I guess you wanna try to change the vsix to build.

ice1000 commented 3 years ago

I guess you wanna try to change the vsix to build.

@imkiva try this

ice1000 commented 3 years ago

kiva try

ice1000 commented 3 years ago

kiva r+

imkiva commented 3 years ago

bors r+

ice1000 commented 3 years ago

kiva try

ice1000 commented 3 years ago

See? It doesn't work. Just try changing the bors.toml "vsix" to "build"

bors[bot] commented 3 years ago

Canceled.

ice1000 commented 3 years ago

bors try

ice1000 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Canceled.

ice1000 commented 3 years ago

bors try

bors[bot] commented 3 years ago

try

Already running a review

ice1000 commented 3 years ago

bors r+

ice1000 commented 3 years ago

Still not working? Hmmmm

bors[bot] commented 3 years ago

Canceled.

ice1000 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Canceled.

ice1000 commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded:

build (15.x)

ice1000 commented 3 years ago

Build succeeded:

build (15.x)

🙏️✌️👌️🙋️ Thanks!

bors[bot] commented 3 years ago

try

Timed out.

ice1000 commented 3 years ago

try

Timed out.

I know!