Dustin Carlino 0fe3e54a31 Follow https://docs.github.com/en/actions/guides/caching-dependencies-to-speed-up-workflows to speed up github builds with caching. Seems to about halve build time per target!		2020-09-16 16:26:44 -07:00
..
book.yml	Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]	2020-08-27 10:37:04 -07:00
main.yml	Follow https://docs.github.com/en/actions/guides/caching-dependencies-to-speed-up-workflows to speed up github builds with caching. Seems to about halve build time per target!	2020-09-16 16:26:44 -07:00