Skip to content
CI

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

Sign in to view logs

[Draft] Deeper integration with Agda: foundational work

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

Re-run triggered November 18, 2025 02:52
@L-TChenL-TChen
#41
nvarner:master
Status Success
Total duration 59m 0s
Artifacts 12

test.yaml

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

Annotations

3 notices
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
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.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

Artifacts

Produced during runtime
Name Size Digest
als-Agda-2.6.4.3-macos-arm64 Expired
45.3 MB
sha256:3d9d8cabe8d704fc0091026e71197831d6160c9b3407f543ec9f6027a1ef22fb
als-Agda-2.6.4.3-macos-x64 Expired
25 MB
sha256:a4980294b51a0cdd0bb277363d430fb9a1ccb315cd13f4a20458cb0f6c3fd640
als-Agda-2.6.4.3-ubuntu Expired
19.1 MB
sha256:2728ce2040d33d7359dd30d98b8b3e0c963901b96f9b7d6c4619647dbc7c3aa9
als-Agda-2.6.4.3-windows Expired
36.6 MB
sha256:53e354b2dda4bb927c1f95327e6d0efbf27b6cda453fc495a61096c02faa7a87
als-Agda-2.7.0.1-macos-arm64 Expired
45 MB
sha256:3f4ab9f486fff9dbb2fef76e429aa0b48bc3acec22f6126aa9385ecc80f222e2
als-Agda-2.7.0.1-macos-x64 Expired
24.4 MB
sha256:4eda2bb3b4730f4e61711f98835da794d1b6c2e3cb63669043900eaf076c75a0
als-Agda-2.7.0.1-ubuntu Expired
18.6 MB
sha256:0097f71aa9f3b3b1acd802757dc970154aeb8f07c462e91d99b68d86ab893ee6
als-Agda-2.7.0.1-windows Expired
36.2 MB
sha256:0b6149d44e73cccd4532f14e29770baf38b78165e76e061050a7613ca2a3c091
als-Agda-2.8.0-macos-arm64 Expired
50.2 MB
sha256:6cd0b312c2b7dd5fb9e03dd7c59231c1c7b40f6033d49e2ce2cc078d9500316d
als-Agda-2.8.0-macos-x64 Expired
27.7 MB
sha256:2ad4b8b41087718c7881cfeda8cddb78dd310a08129ba4aa65b6c2694899be77
als-Agda-2.8.0-ubuntu Expired
21.7 MB
sha256:5bf56eb055103070737bd5282c214ed31c29aa1ad1ce3a4f68a46117545a08e0
als-Agda-2.8.0-windows Expired
39.3 MB
sha256:75b2e8ff762c63ba6a3dff66fc4057368a43b6a5e883c249b0647c8f1391edd4