Skip to content
CI (macOS)

Upgrade Agda to v2.7.0.1 #148

Sign in to view logs

Upgrade Agda to v2.7.0.1

Upgrade Agda to v2.7.0.1 #148

Triggered via pull request December 2, 2024 05:00
@banacornbanacorn
opened #28
agda-2.7.0
Status Failure
Total duration 17m 6s
Artifacts –

test-mac.yaml

on: pull_request
build
16m 54s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build: src/Render/Common.hs#L109
Pattern match(es) are non-exhaustive
build
Process completed with exit code 1.