Jason Gross

Thank you @hmenke ! Neither of those packages work out of the box for me (I've just reported https://github.com/leo-colisson/robust-externalize/issues/43 and https://github.com/sasozivanovic/memoize/issues/19), but I'm trying to regenerate my code from tikzplotlib...

Yes, if you put, e.g., `example-image.png` in `images/`, then it does not work

Ah, okay, I guess I didn't quite test thoroughly enough, thanks. I've renamed it. I'm not sure if there's any advantage, but `includegraphics cmd=\pgfimage` is automatically generated by tikzplotlib.

Is there a way to make this work with `\tikzexternalize`? ```latex \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{pgfplots} \usepackage{import} \DeclareUnicodeCharacter{2212}{−} \usepgfplotslibrary{groupplots,dateplot} \usetikzlibrary{patterns,shapes.arrows} \pgfplotsset{compat=newest} \usepackage{graphicx} \usepackage{amssymb} \makeatletter \let\pgfutil@InputIfFileExists=\InputIfFileExists \let\pgfutil@IfFileExists=\IfFileExists \makeatother \usetikzlibrary{external} \tikzexternalize \begin{document} \immediate\write18{mkdir -p...

Thank you! > it errors in first run, but then works in all following runs. What's the cause of the error?

@coqbot run full ci

@coqbot run full ci

@proux01 @vbgl, @bgregoir @gares Jasmin master does not build with Coq master

> but maybe can we imagine situations with a pending newly created evar with constraints on it that does not occur in the final term?? Can you construct something like...

> Does it break the "2 consecutive versions contract"? AIUI, this contact can only be broken when there's no backwards-compatible fix. Since there's an easy backwards compatible fix here, we...