Skip to content

changing back to v5

changing back to v5 #5

Triggered via push September 29, 2024 13:41
Status Failure
Total duration 1m 30s
Billable time 2m
Artifacts

agda.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
buildx failed with: ERROR: failed to solve: process "/bin/sh -c mkdir -p /dist && cabal update && cabal v1-install alex happy && cabal v1-install --bindir=/dist --datadir=/dist --datasubdir=/dist/data --enable-executable-static" did not complete successfully: exit code: 1