idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268 stars 70 forks source link

Ci caching idris1 #536

Closed jfdm closed 3 years ago

jfdm commented 3 years ago

This should add the ability to cache between workflows, as outlined here. However, we do not check for cache hits explicitly, as the cache action does so. That being said, I am not sure how much speed up is attained because the caches are not finalised until after each run, and each run is launched simultaneously. Maybe there is caching between each run of the workflow...