[ git ] Refactor CI workflow and optimize caching (#38) #88

Job	Run time
Build and Test (windows-latest, Agda-2.6.4.3)	40m 45s
Build and Test (windows-latest, Agda-2.8.0)	45m 39s
Build and Test (windows-latest, Agda-2.7.0.1)	41m 8s
Build and Test (macos-latest, Agda-2.7.0.1)	41m 17s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	35m 4s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	34m 1s
Build and Test (macos-latest, Agda-2.8.0)	57m 0s
Build and Test (ubuntu-latest, Agda-2.8.0)	39m 47s
Build and Test (macos-latest, Agda-2.6.4.3)	29m 47s
Build and Test (macos-13, Agda-2.7.0.1)	1h 8m 47s
Build and Test (macos-13, Agda-2.8.0)	1h 20m 24s
Build WASM	0s
Build and Test (macos-13, Agda-2.6.4.3)	1h 0m 15s
Upload to Stable Release	0s
Create Release	0s
Upload to Dev Release	0s
	9h 33m 54s

Provide feedback