Skip to content
CI

[ git ] Merge pull request #39 from agda-web/wasm-agda-setup #90

Sign in to view logs

[ git ] Merge pull request #39 from agda-web/wasm-agda-setup

[ git ] Merge pull request #39 from agda-web/wasm-agda-setup #90

Triggered via push October 12, 2025 18:14
@banacornbanacorn
pushed df311b2
master
Status Success
Total duration 5m 4s
Artifacts 12

test.yaml

on: push
Matrix: Build and Test
Build WASM
0s
Build WASM
Create Release
Create Release
Upload to Stable Release
Upload to Stable Release
Upload to Dev Release
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:0d613f52a4d6891d1471500d51bef48199114cd7ba48491914e0ce37158dff38
als-Agda-2.6.4.3-macos-x64 Expired
24.6 MB
sha256:af7a3703d39bb58bd1b24684198dff8ee44ffbc532b1fea6bc462491730e362e
als-Agda-2.6.4.3-ubuntu Expired
18.5 MB
sha256:02f84ed566d3208e0e497b5d90affd28cc15723db67356b89f86371684db4277
als-Agda-2.6.4.3-windows Expired
36.1 MB
sha256:a07bf670c5d8f72623f51d3604396e02a418adb3813bcf4981fc771e57e30e7d
als-Agda-2.7.0.1-macos-arm64 Expired
44.2 MB
sha256:5108735245cb0bf44187db8f85891477fdafb7e390169033dbc1eddcaab56fd8
als-Agda-2.7.0.1-macos-x64 Expired
24.1 MB
sha256:90b22f7610464e084ef5767b61fa1e08367e10a04604d3225108c024a0f86197
als-Agda-2.7.0.1-ubuntu Expired
18.1 MB
sha256:5a8e20aacbeff5891eb819987d3a7874b0bee4f27aaddf4c769ce7d7a86c94d4
als-Agda-2.7.0.1-windows Expired
35.6 MB
sha256:8726211f52deb7b8cb09cf1458eafd22b8c1a3011b19c41ed27cbee321048ab9
als-Agda-2.8.0-macos-arm64 Expired
49.4 MB
sha256:ea310e8601a5db281d468209dbdabd2f90215344743af6f7506f636391c844d2
als-Agda-2.8.0-macos-x64 Expired
27.3 MB
sha256:2e9aad3779a097842b022ae156b7cf0d2f08979fbc0268d3052f0c740dcfc92a
als-Agda-2.8.0-ubuntu Expired
21.1 MB
sha256:7ef10dce89010708ffad5f1d34644b3e4b01554a7c9fcd385649d796ab40c34a
als-Agda-2.8.0-windows Expired
38.7 MB
sha256:edf95874d4bd5659957b5224944a9b9fea7c0acf6213d351c26982626e8e1303