Refactor CI Workflow and Optimize Caching #87
Triggered via pull request
October 12, 2025 14:27
banacorn
Status
Success
Total duration
2h 20m 12s
Artifacts
12
test.yaml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
als-Agda-2.6.4.3-macos-arm64
Expired
|
44.5 MB |
sha256:a450db5e2746f0ad6c6b39f8b04283b224005c68a14e940d0bcbf9b6d7f5949b
|
|
|
als-Agda-2.6.4.3-macos-x64
Expired
|
24.6 MB |
sha256:2394a02b2ce2ff950daafe9751c5524f0389e806b24d80bd5284c22252ba4444
|
|
|
als-Agda-2.6.4.3-ubuntu
Expired
|
18.5 MB |
sha256:0383b9c59243fd8ea3bdad683936def81d54ae5b8e11ea6912ef74a3798e5348
|
|
|
als-Agda-2.6.4.3-windows
Expired
|
36.1 MB |
sha256:c9eb9e36f5a3922b360510afba536524bc056b1781646a72b2b14be417988951
|
|
|
als-Agda-2.7.0.1-macos-arm64
Expired
|
44.2 MB |
sha256:1caaaa018a7c602bd0d918951ab24b1580221ca274e1956004b7b3ea40562ed6
|
|
|
als-Agda-2.7.0.1-macos-x64
Expired
|
24.1 MB |
sha256:639175c62f3b8098c4fb36e14b4a71465724d8d5ae3d73e7653a8da839fadde3
|
|
|
als-Agda-2.7.0.1-ubuntu
Expired
|
18.1 MB |
sha256:d0a538276c94fcad33fc6db4f02f473eebe3a92c5b7c6868f7a4b48f33cbc539
|
|
|
als-Agda-2.7.0.1-windows
Expired
|
35.6 MB |
sha256:9fff1cc3e174a4b447d35209d7c59b07e1eb28191e4e8266a3fab658953c9029
|
|
|
als-Agda-2.8.0-macos-arm64
Expired
|
49.4 MB |
sha256:197fa644cade46b0408047aed4a7f9ff8efc6fd2b46bedd68c82179130ce36d4
|
|
|
als-Agda-2.8.0-macos-x64
Expired
|
27.2 MB |
sha256:dfd3722d56391f8787b9f147026504125fcfd3cfc49181865d4ed9a9a8b9c848
|
|
|
als-Agda-2.8.0-ubuntu
Expired
|
21.1 MB |
sha256:95e052b2690f8b2786cbcd8bb89ae0e790d959e4b6ed54fb8abcd451cbdea3a2
|
|
|
als-Agda-2.8.0-windows
Expired
|
38.7 MB |
sha256:32098d2f3254c1bfe6a4c3f3061dd10967c50a8839b732ff754876bc3e67992a
|
|