Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push October 12, 2025 14:27
@banacornbanacorn
pushed 898e58f
master
Status Success
Total duration 3h 8m 20s
Artifacts 12

test.yaml

on: push
Matrix: Build and Test
Build WASM
0s
Build WASM
Create Release
0s
Create Release
Upload to Stable Release
0s
Upload to Stable Release
Upload to Dev Release
0s
Upload to Dev Release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
als-Agda-2.6.4.3-macos-arm64 Expired
44.5 MB
sha256:d8ac4c836e519abd86946e4386e12bb05e70836ad038f0f0cfb8bee2e7a02573
als-Agda-2.6.4.3-macos-x64 Expired
24.6 MB
sha256:6c7644732b5d584326ec509b8cdb2b41ec2c3175c9a4b331384cbc9b5ce7140f
als-Agda-2.6.4.3-ubuntu Expired
18.5 MB
sha256:42c3cdb8331055f66e16f98160e452cbd2e2e0c5335b7f732f7cb1eb78df5e9d
als-Agda-2.6.4.3-windows Expired
36.1 MB
sha256:3dd426ef5b6723bdd05be85d521ffa77be7da99e638dc93d8d47b143b259a2a5
als-Agda-2.7.0.1-macos-arm64 Expired
44.2 MB
sha256:0f8e71388c5e9c9b7c972f15dc227000c14cb19ee3ce1913dc7d33ef17b9f7ee
als-Agda-2.7.0.1-macos-x64 Expired
24.1 MB
sha256:28c5a81d4b0789e76139c6448559df576d6441c461f86064fe4ec79ad3773b51
als-Agda-2.7.0.1-ubuntu Expired
18.1 MB
sha256:d25a6f0075477a46554f0eb0966da0c97d0d112c1ad2bbf19755a508c8b4a5fc
als-Agda-2.7.0.1-windows Expired
35.6 MB
sha256:9cd5326d00ea4b01d576618725fc87c9b9759bea1a2d76f1cf8fc0294a2b3dc9
als-Agda-2.8.0-macos-arm64 Expired
49.4 MB
sha256:ec7071cd68f8b5192340609b795dc5955ba015e3ab71ad30ad113edb0a64e222
als-Agda-2.8.0-macos-x64 Expired
27.2 MB
sha256:487893fe2dab9ed5e80e18909fd649afccde91e1121781e696ca2f06298ea497
als-Agda-2.8.0-ubuntu Expired
21.1 MB
sha256:ec5dc4f332f43efc37b1d1385108a612f92dda1d2f34f36243b3d989664bd9c3
als-Agda-2.8.0-windows Expired
38.7 MB
sha256:50d280d11ab6159f782adb87fec902034d50ca0da74617a566898499cc2bf98a