Skip to content
CI

[Draft] Deeper integration with Agda: foundational work #103

Sign in to view logs

[Draft] Deeper integration with Agda: foundational work

[Draft] Deeper integration with Agda: foundational work #103

Re-run triggered November 10, 2025 01:32
@L-TChenL-TChen
#41
nvarner:master
Status Success
Total duration 10m 29s
Artifacts 12

test.yaml

on: pull_request
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

Annotations

3 notices
Build and Test (macos-13, Agda-2.8.0)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
Build and Test (macos-13, Agda-2.7.0.1)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
Build and Test (macos-13, Agda-2.6.4.3)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046

Artifacts

Produced during runtime
Name Size Digest
als-Agda-2.6.4.3-macos-arm64 Expired
44.8 MB
sha256:e39e8c2d8a2c4f07b2f6d6c987c80c4c85db31b7ee3a308723ea00a5d6f92816
als-Agda-2.6.4.3-macos-x64 Expired
24.8 MB
sha256:f0dedf1d654099f2ded6de09987377f8b6e5cd58f35f50ba2919b255d71c4948
als-Agda-2.6.4.3-ubuntu Expired
18.7 MB
sha256:71dbf1826655c37b8880739ddccbaa57df2c61cfb52b50c96ed9cf1feaf0f77c
als-Agda-2.6.4.3-windows Expired
36.2 MB
sha256:706f11bfb82c7dc538988aae75064a9577aa7586057ecca665c6fa466db00e15
als-Agda-2.7.0.1-macos-arm64 Expired
44.4 MB
sha256:7d12cd7ac26c3b5738798787d7c9f791b117292d35b0f364dec64209bec25c7e
als-Agda-2.7.0.1-macos-x64 Expired
24.3 MB
sha256:beeaf859e402f280c37f00571c1a4940cb6183fb62458d68b204b8f371bc30eb
als-Agda-2.7.0.1-ubuntu Expired
18.2 MB
sha256:a135d800d91d2d9fe04254ff23d297e12fa6e1068e95539ddb23b0e96c8f5d9f
als-Agda-2.7.0.1-windows Expired
35.8 MB
sha256:e9e59348e844da340cdc4df2b98350ba9ce1ab13b8818ae780ed8b0e65061643
als-Agda-2.8.0-macos-arm64 Expired
49.7 MB
sha256:f208dda28d6821a0662e4ae6f09c72a171ddcf4b23d0bb9dda1de1eb322bc7a2
als-Agda-2.8.0-macos-x64 Expired
27.5 MB
sha256:015ae127b9bc7b32e50b0c56c1cce46e63a540b9663b89ecc146fe2af8d120aa
als-Agda-2.8.0-ubuntu Expired
21.2 MB
sha256:1f60ade56bd2c86f9a686ca1b608f7055e16b8a24f68e29d858604903e1aa0f8
als-Agda-2.8.0-windows Expired
38.9 MB
sha256:ddb8cab18f541e71bc4e458995d7b59565a828dcac92f1bc4bf6fec3fbc51c74