Merge #1346
1346: bump timeout for CI r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
This commit is contained in:
commit
8c3cd8f121
@ -222,6 +222,7 @@ fn or(left: ItemOrMacro, right: ItemOrMacro) -> ItemOrMacro {
|
||||
|
||||
impl CrateDefMap {
|
||||
pub(crate) fn crate_def_map_query(db: &impl DefDatabase, krate: Crate) -> Arc<CrateDefMap> {
|
||||
db.check_canceled();
|
||||
let _p = profile("crate_def_map_query");
|
||||
let def_map = {
|
||||
let edition = krate.edition(db);
|
||||
|
@ -112,6 +112,7 @@ where
|
||||
// main name resolution fixed-point loop.
|
||||
let mut i = 0;
|
||||
loop {
|
||||
self.db.check_canceled();
|
||||
match (self.resolve_imports(), self.resolve_macros()) {
|
||||
(ReachedFixedPoint::Yes, ReachedFixedPoint::Yes) => break,
|
||||
_ => i += 1,
|
||||
|
@ -82,6 +82,7 @@ pub(crate) fn implements_query(
|
||||
krate: Crate,
|
||||
trait_ref: Canonical<TraitRef>,
|
||||
) -> Option<Solution> {
|
||||
db.check_canceled();
|
||||
let _p = profile("implements_query");
|
||||
let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast();
|
||||
debug!("goal: {:?}", goal);
|
||||
|
@ -34,7 +34,7 @@ pub fn handle_analyzer_status(world: ServerWorld, _: ()) -> Result<String> {
|
||||
let requests = world.latest_completed_requests.read();
|
||||
for (idx, r) in requests.iter().enumerate() {
|
||||
let current = if idx == world.request_idx { "*" } else { " " };
|
||||
writeln!(buf, "{:4}{}{:<36}: {:?}", r.id, current, r.method, r.duration).unwrap();
|
||||
writeln!(buf, "{:4}{}{:<36}{}ms", r.id, current, r.method, r.duration.as_millis()).unwrap();
|
||||
}
|
||||
Ok(buf)
|
||||
}
|
||||
|
@ -227,7 +227,7 @@ impl Drop for Server {
|
||||
}
|
||||
|
||||
fn recv_timeout(receiver: &Receiver<RawMessage>) -> Option<RawMessage> {
|
||||
let timeout = Duration::from_secs(50);
|
||||
let timeout = Duration::from_secs(120);
|
||||
select! {
|
||||
recv(receiver) -> msg => msg.ok(),
|
||||
recv(after(timeout)) -> _ => panic!("timed out"),
|
||||
|
Loading…
x
Reference in New Issue
Block a user