Skip to content
CI

[ git ] Merge pull request #40 from agda-web/raw-responses #92

Sign in to view logs

[ git ] Merge pull request #40 from agda-web/raw-responses

[ git ] Merge pull request #40 from agda-web/raw-responses #92

Triggered via push October 29, 2025 05:25
@banacornbanacorn
pushed 57d45f7
master
Status Success
Total duration 1h 17m 11s
Artifacts 12

test.yaml

on: push
Matrix: Build and Test
Build WASM
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.6 MB
sha256:41e82b2b103c600af8e7ee5b8df4d2aa59f0361ab946ca292134983be1fdfb06
als-Agda-2.6.4.3-macos-x64 Expired
24.7 MB
sha256:472ba856487b7723ffffed537a4cad302048a20f4b2b37098437aed4e7cab9c8
als-Agda-2.6.4.3-ubuntu Expired
18.6 MB
sha256:45ee554acff3380e5482012e09e7c8a42119d3c23d5bac773b03383054571acf
als-Agda-2.6.4.3-windows Expired
36.1 MB
sha256:c7b77e9d03e062f72680e0b8bab59bcceeb8db8dfdf880a9b319c5314d91d653
als-Agda-2.7.0.1-macos-arm64 Expired
44.3 MB
sha256:86633d1a2ea5ff5a0c31243bf8e97e98232e8ff476e436453c335a0cf912137b
als-Agda-2.7.0.1-macos-x64 Expired
24.2 MB
sha256:690e01a372df9f42064aafe945e965138e43968df0b98a6508446825ff78527a
als-Agda-2.7.0.1-ubuntu Expired
18.1 MB
sha256:0183a41c782495702ca86fd0d9422855b827876ae9e5fcf7d8652d04a1d12af2
als-Agda-2.7.0.1-windows Expired
35.7 MB
sha256:7447c66039b0b9ddc455cb4db61f854c5c6fd7fcb7e7d5da5235607fa7bcdb52
als-Agda-2.8.0-macos-arm64 Expired
49.5 MB
sha256:5c586fdc6dd6550d19822fea1a4d6867faf76d625465a13b90781ae387c2a1c2
als-Agda-2.8.0-macos-x64 Expired
27.4 MB
sha256:06b0df3b5c5c7a9ff688a1f099b29357ba65b660d12c3b2a9bc8d6ce8657b65f
als-Agda-2.8.0-ubuntu Expired
21.1 MB
sha256:721e0787487bb0a98580f4b6c597a0ac9b024c77a4d874acd8e4def0495f24fa
als-Agda-2.8.0-windows Expired
38.8 MB
sha256:3b9eccbc440b344883f80606b1099beaf680f0447e35edf86a658be721a11718