Code action bug on live.lean-lang.org

Stream: general

[Jakub Nowak]

I'm trying to click on code action next to #guard_msgs but it doesn't work.

import Mathlib

variable {G : SimpleGraph V} (w : G.Walk u v)

example (h : w.support.length > n) :=
  let foo := w.support[n]
  foo

#guard_msgs in
example (h : w.length + 1 > n) :=
  let foo := w.support[n]
  foo

[Jakub Nowak]

It worked until very recently.

[Jakub Nowak]

Hm, it still works on Chromium. Doesn't work for me in Firefox.

[Jakub Nowak]

Oh well, it fixed itself after I restarted my browser. .-.