nonempty git diff after coq ci build

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

MIT License

39 stars 9 forks source link

nonempty git diff after coq ci build #195

Closed andres-erbsen closed 8 months ago

andres-erbsen commented 9 months ago

?? examples/example_002/example_002_output.v
?? examples/example_004/A_abs.v
?? examples/example_004/B_abs.v
?? examples/example_023/bug.v
in _build_ci/coq_tools

JasonGross commented 8 months ago

This was just an issue with .gitignore after 69f9769db9cdcde7e1f5263f40254535d2775a50, now fixed, thanks!