Refactor CI Workflow and Optimize Caching #87

Job	Run time
Build and Test (windows-latest, Agda-2.8.0)	43m 54s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	34m 37s
Build and Test (windows-latest, Agda-2.7.0.1)	41m 12s
Build and Test (macos-13, Agda-2.6.4.3)	1h 22m 39s
Build and Test (ubuntu-latest, Agda-2.8.0)	40m 16s
Build and Test (windows-latest, Agda-2.6.4.3)	41m 14s
Build and Test (macos-latest, Agda-2.8.0)	52m 54s
Build and Test (macos-13, Agda-2.7.0.1)	1h 27m 12s
Build and Test (macos-latest, Agda-2.7.0.1)	41m 54s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	33m 39s
Build and Test (macos-latest, Agda-2.6.4.3)	42m 32s
Build and Test (macos-13, Agda-2.8.0)	1h 27m 32s
Build WASM	0s
Create Release	0s
Upload to Stable Release	0s
Upload to Dev Release	-1s
	10h 29m 34s

Provide feedback