proj icon indicating copy to clipboard operation
proj copied to clipboard

Published 20 hours ago • verified publisher icon georust

update ci

Open michaelkirk opened this issue 1 year ago • 4 comments

michaelkirk avatar Aug 25 '22 23:08 michaelkirk

bors try

lets see if everyone's happy after #138 merges

michaelkirk avatar Aug 26 '22 00:08 michaelkirk

try

Build failed:

bors[bot] avatar Aug 26 '22 00:08 bors[bot]

bors retry

michaelkirk avatar Aug 30 '22 17:08 michaelkirk

try

Build succeeded:

bors[bot] avatar Aug 30 '22 17:08 bors[bot]

bors r=urschrei

michaelkirk avatar Sep 27 '22 20:09 michaelkirk

Build succeeded:

bors[bot] avatar Sep 27 '22 21:09 bors[bot]