lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

Cache not working

Open SnO2WMaN opened this issue 6 months ago • 1 comments

リポジトリ移管以降、キャッシュがうまく効いていない気がする．

https://github.com/FormalizedFormalLogic/Foundation/actions/runs/10236132937/job/28317834390

SnO2WMaN avatar Aug 04 '24 12:08 SnO2WMaN