add lemma about readucing ectxi-languages

1 job for master in 1 minute and 29 seconds
Status Job ID Name Coverage
  Test
failed #1646
coq
buildjob

00:01:29

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
algebra/frac (user: 1.24 mem: 458684 ko)
base_logic/upred (user: 1.81 mem: 460124 ko)
algebra/updates (user: 2.15 mem: 460188 ko)
algebra/local_updates (user: 2.92 mem: 461624 ko)
heap_lang/tactics (user: 4.52 mem: 481332 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:13: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Build failed: exit code 1