Some missing unicode arrows.

1 job for master
latest
Status Job ID Name Coverage
  Test
failed #2883
fp-timing
iris-coq8.6

 
Name Stage Failure
failed
iris-coq8.6 Test There is an unknown failure, please try again
No job log