search

gussmith23 / lakeroad

FPGA synthesis tool powered by program synthesis
MIT License
38 stars 6 forks source link

Fix inefficient Docker caching in CI #426

Open gussmith23 opened 8 months ago

gussmith23 commented 8 months ago

Seems like the Docker build isn't caching as nicely as it should. You may be able to view logs from this run:

https://github.com/uwsampl/lakeroad/actions/runs/8034507451/job/21946176589

This commit only changed things at/after the "build CVC5" stage, yet many of the steps are re-running. I can't currently see enough of the logs to know how far back it isn't caching, but at least from the Python dependencies section. The Python dependencies causing problems would make sense.

gussmith23 commented 8 months ago

I think this was simply caused by the ADD . . having been pushed nearer to the top of the file.