search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
171 stars 29 forks source link

[TEMPLATE]: "Fix" caching mechanism in workflow #47

Closed pitmonticone closed 2 weeks ago

PatrickMassot commented 2 months ago

Thanks. Clearly this line came from an earlier project with manual CI setup. I’d be curious to know what was the motivation. Maybe @utensil or @zeramorphic knows about this?

utensil commented 2 months ago

Related Zulip thread.

pitmonticone commented 2 months ago

I didn't investigate enough to have any clear idea about what is actually going on here.

The "reasoning" behind it was "Ok, let's see what happens if we save a little bit more to cache".

It may very well be completely spurious.

pitmonticone commented 2 weeks ago

I think this is not a fix. I'm going to close this PR.