Skip to content

Simpler proof of naturality square #15

Simpler proof of naturality square

Simpler proof of naturality square #15

Triggered via pull request October 25, 2024 17:28
Status Failure
Total duration 7m 36s
Artifacts

agda.yml

on: pull_request
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 v2-install alex happy && cabal v1-install --bindir=/dist --datadir=/dist --datasubdir=/dist/data --enable-executable-static" did not complete successfully: exit code: 1