Skip to content
CI

[ fix ] Dependency of ghc-wasm-meta #85

Sign in to view logs

[ fix ] Dependency of ghc-wasm-meta

[ fix ] Dependency of ghc-wasm-meta #85

Triggered via push October 12, 2025 09:00
@banacornbanacorn
pushed 8d6568d
dev
Status Cancelled
Total duration 6m 36s
Artifacts –

test.yaml

on: push
Build WASM
6m 31s
Build WASM
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

13 errors
build-and-test (macos-13, Agda-2.6.4.3)
The operation was canceled.
build-and-test (macos-13, Agda-2.6.4.3)
The run was canceled by @banacorn.
build-and-test (macos-13, Agda-2.8.0)
The operation was canceled.
build-and-test (macos-13, Agda-2.8.0)
The run was canceled by @banacorn.
build-and-test (macos-latest, Agda-2.7.0.1)
The operation was canceled.
build-and-test (macos-latest, Agda-2.7.0.1)
The run was canceled by @banacorn.
build-and-test (macos-13, Agda-2.7.0.1)
The operation was canceled.
build-and-test (macos-13, Agda-2.7.0.1)
The run was canceled by @banacorn.
Build WASM
The operation was canceled.
Build WASM
The run was canceled by @banacorn.
build-and-test (macos-latest, Agda-2.8.0)
The operation was canceled.
build-and-test (macos-latest, Agda-2.8.0)
The run was canceled by @banacorn.
CI
The run was canceled by @banacorn.